X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/d9daf826a5062af3f227a98f0525e5a38f350539..HEAD:/Makefile.am

diff --git a/Makefile.am b/Makefile.am
index 38450a1..04deb17 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -46,6 +46,11 @@ configure.binary:configure.binary.ac
 
 Makefile.binary.in:Makefile.binary.am
 	-automake Makefile.binary
+	$(SED) -e s/Makefile\.binary/Makefile/ Makefile.binary.in > tMakefile.binary.in
+#	$(RM) Makefile.binary.in
+	$(CP) tMakefile.binary.in Makefile.binary.in
+#drl add this hack 3/1/2003
+#make the generated makefile depend on Makefile not Makefile.binary
 
 $(binaryDir)/Makefile.in: $(binaryDir)/Makefile.am
 	-automake $(binaryDir)/Makefile