Другой альтернативой было бы указать список библиотек дважды:
gcc prog.o libA.a libB.a libA.a libB.a -o prog.x
Выполняя это, вам не нужно беспокоиться о правильной последовательности, так как эта ссылка будет разрешена во втором блоке.