aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/utils/Makefile.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/utils/Makefile.in b/src/utils/Makefile.in
index e4211f62..764bda0f 100644
--- a/src/utils/Makefile.in
+++ b/src/utils/Makefile.in
@@ -87,7 +87,7 @@ stamp-headers: $(libOpenAxiom_HEADERS) Makefile
done ; \
$(STAMP) stamp-headers
-hammer$(EXEEXT): $(bin_PROGRAMS) libOpenAxiom.$(LIBEXT)
+hammer$(EXEEXT): $(hammer_OBJECTS) libOpenAxiom.$(LIBEXT)
$(CXXLINK) -o $@ $(hammer_OBJECTS) $(hammer_LDADD) $(LDFLAGS)
libOpenAxiom.$(LIBEXT): $(libOpenAxiom_OBJECTS)