]> andersk Git - splint.git/commitdiff
Fixed Makefile
authordlaroche <dlaroche>
Tue, 3 Jul 2001 19:08:34 +0000 (19:08 +0000)
committerdlaroche <dlaroche>
Tue, 3 Jul 2001 19:08:34 +0000 (19:08 +0000)
src/Makefile
src/maketags

index 0ff9bdd32db29be445e204daf1409d991d81f2d2..37bccec70fd02855147fb764eb1f9c67f6f8f77e 100644 (file)
@@ -302,6 +302,8 @@ endif
        @$(MAKE) -e updateversion
        @echo '//  Updating local constants'
        @$(MAKE) -e localconstants
+       @echo '//  Updating flags'
+       @$(MAKE) -e Headers/flag_codes.gen
        @echo '// '
        @echo '//  Compiling:'
        @echo '// '
index 100b599f2aab7c25de970efa9bdbae4c1cf69aee..3191894efc7d8b42e9c4c477328f26e964455180 100755 (executable)
@@ -1,4 +1,4 @@
 #!/bin/sh
 
-etags --langmap=c:+.i.h *.y Headers/* *.c *.h *.l  *.i || etags *.y Headers/* *.c *.h *.l  *.i;
+etags --langmap=c:+.i.h *.y Headers/* *.c  *.l  *.i || etags *.y Headers/* *.c  *.l  *.i;
 
This page took 0.055017 seconds and 5 git commands to generate.