fix unit test make build

Author: thomasspriggs

unit/Makefile

@@ -163,6 +163,8 @@ testing-utils-clean:
 BMC_DEPS =../src/cbmc/c_test_input_generator$(OBJEXT) \
           ../src/cbmc/cbmc_languages$(OBJEXT) \
           ../src/cbmc/cbmc_parse_options$(OBJEXT) \
+          ../src/goto-cc/armcc_cmdline$(OBJEXT) \
+          ../src/goto-cc/goto_cc_cmdline$(OBJEXT) \
           ../src/goto-instrument/source_lines$(OBJEXT) \
           ../src/goto-instrument/cover$(OBJEXT) \
           ../src/goto-instrument/cover_basic_blocks$(OBJEXT) \
@@ -191,7 +193,6 @@ CPROVER_LIBS =../src/ansi-c/ansi-c$(LIBEXT) \
               ../src/linking/linking$(LIBEXT) \
               ../src/util/util$(LIBEXT) \
               ../src/big-int/big-int$(LIBEXT) \
-              ../src/goto-cc/goto-cc$(LIBEXT) \
               ../src/goto-checker/goto-checker$(LIBEXT) \
               ../src/goto-programs/goto-programs$(LIBEXT) \
               ../src/pointer-analysis/pointer-analysis$(LIBEXT) \