X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/f96fe483eb300ca66a20b6349fb5056f487f3a74..2e4caa51b7f68083f8e80e59475eb5d045ffd91e:/Makefile.in

diff --git a/Makefile.in b/Makefile.in
index 8d0372f..9476c78 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -459,6 +459,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