- library fixes:

[splint.git] / lib / Makefile.am

diff --git a/lib/Makefile.am b/lib/Makefile.am
index 74d952721fd906781e64638fcc45d38b7335d217..39e216e84b1635f527cb7f85327fbb73297be7ae 100644 (file)
--- a/lib/Makefile.am
+++ b/lib/Makefile.am
@@ -1,5 +1,9 @@
 ## Note: starting comments with ## means they don't end up in Makefile
 
+### Make phony, always remake everything.
+
+.PHONY: all standard.lcd standardstrict.lcd posix.lcd posixstrict.lcd unix.lcd unixstrict.lcd
+
 AUTOMAKE_OPTIONS = 1.5 foreign
 
 ## Put these files in $prefix/share/splint/lib
@@ -30,6 +34,8 @@ SPLINT = $(top_builddir)/src/splint$(EXEEXT)
 $(SPLINT):
        cd $(top_builddir)/src; $(MAKE)
 
+all: standard.lcd standardstrict.lcd posix.lcd posixstrict.lcd unix.lcd unixstrict.lcd
+
 standard.lcd: standard.h $(SPLINT)
        -$(SPLINT) -nof -nolib +impconj standard.h -dump standard
        @touch $@