Fixed pre-processing bug reported by Adam Clarke. Moved marking point

[splint.git] / test / tests2.4 / Makefile

diff --git a/test/tests2.4/Makefile b/test/tests2.4/Makefile
index 8984a7bf588960f1cb54c002843934af7d729aaa..734a5ff4da677987a13496662a285afcdf99f7eb 100644 (file)
--- a/test/tests2.4/Makefile
+++ b/test/tests2.4/Makefile
@@ -70,7 +70,7 @@ fink:
        $(SPLINT) fink.c 
 
 driverstub:
-       $(SPLINT) driverstub.c
+       $(SPLINT) driverstub.c -sysdirs "/usr/"
 
 alignof:
        $(SPLINT) alignof.c -expect 2