used grep -v to exclude hard coded default LARCH and LCLIMPORTDIR values form test output.
QUICKTESTS = db3
-CLEANOUTPUT = $(GREP) -v "Splint 3." | $(GREP) -v "$(SPLINT)" | $(GREP) -v "^make.*\[[1-9]*\]:" | $(GREP) -v "config.status: creating test/Makefile" | $(GREP) -v "cd .. && " | $(GREP) -v "CONFIG_HEADERS=" | $(GREP) -v "CONFIG_FILES="
+CLEANOUTPUT = $(GREP) -v "Splint 3." | $(GREP) -v "$(SPLINT)" | $(GREP) -v "^make.*\[[1-9]*\]:" | $(GREP) -v "^gmake.*\[[1-9]*\]:" | $(GREP) -v "^gmake -e" | $(GREP) -v "^make -e" |$(GREP) -v "config.status: creating test/Makefile" | $(GREP) -v "cd .. && " | $(GREP) -v "CONFIG_HEADERS=" | $(GREP) -v "CONFIG_FILES="
#drl 11/29/2001 This is a very ugly hack to get make dist to work
EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs \
-$(SPLINTP) -help version
.PHONY: help
+
help:
-@$(SPLINT)
-@LARCH_PATH=/dev/null; $(SPLINT) -nof empty.lcl
-@$(SPLINTP) +boolint +boolint
-@$(SPLINTP) -help flags alpha
-@$(SPLINTP) -help flags all
+ -@$(SPLINTP) -help flags full | $(GREP) -v " Path argument. Default: " | $(GREP) -v " lclimportdir <directory> "
+ -@$(SPLINTP) -help flags manual | $(GREP) -v " Path argument. Default: " | $(GREP) -v " lclimportdir <directory> "
+
+#larch and lclimportdir have different hardcoded default paths so don't include the path in the output..
.PHONY: clean-local
clean-local:
-$(SPLINTP) -help version
.PHONY: help
+
help:
-@$(SPLINT)
-@LARCH_PATH=/dev/null; $(SPLINT) -nof empty.lcl
-@$(SPLINTP) +boolint +boolint
-@$(SPLINTP) -help flags alpha
-@$(SPLINTP) -help flags all
- -@$(SPLINTP) -help flags full
- -@$(SPLINTP) -help flags manual
+ -@$(SPLINTP) -help flags full | $(GREP) -v " Path argument. Default: " | $(GREP) -v " lclimportdir <directory> "
+ -@$(SPLINTP) -help flags manual | $(GREP) -v " Path argument. Default: " | $(GREP) -v " lclimportdir <directory> "
+
+#larch and lclimportdir have different hardcoded default paths so don't include the path in the output..
+
.PHONY: clean-local
clean-local:
## The tests should really be re-done as shell-scripts or something... maybe
## autotest could be used once it's finished.
-CLEANOUTPUT = $(GREP) -v "Splint 3." | $(GREP) -v "$(SPLINT)" | $(GREP) -v "^make.*\[[1-9]*\]:" | $(GREP) -v "config.status: creating test/Makefile" | $(GREP) -v "cd .. && " | $(GREP) -v "CONFIG_HEADERS=" | $(GREP) -v "CONFIG_FILES="
+CLEANOUTPUT = $(GREP) -v "Splint 3." | $(GREP) -v "$(SPLINT)" | $(GREP) -v "^make.*\[[1-9]*\]:" | $(GREP) -v "^gmake.*\[[1-9]*\]:" | $(GREP) -v "^gmake -e" | $(GREP) -v "^make -e" |$(GREP) -v "config.status: creating test/Makefile" | $(GREP) -v "cd .. && " | $(GREP) -v "CONFIG_HEADERS=" | $(GREP) -v "CONFIG_FILES="
## Not real C code
QUICKTESTS = db3
-CLEANOUTPUT = $(GREP) -v "Splint 3." | $(GREP) -v "$(SPLINT)" | $(GREP) -v "^make.*\[[1-9]*\]:" | $(GREP) -v "config.status: creating test/Makefile" | $(GREP) -v "cd .. && " | $(GREP) -v "CONFIG_HEADERS=" | $(GREP) -v "CONFIG_FILES="
+CLEANOUTPUT = $(GREP) -v "Splint 3." | $(GREP) -v "$(SPLINT)" | $(GREP) -v "^make.*\[[1-9]*\]:" | $(GREP) -v "^gmake.*\[[1-9]*\]:" | $(GREP) -v "^gmake -e" | $(GREP) -v "^make -e" |$(GREP) -v "config.status: creating test/Makefile" | $(GREP) -v "cd .. && " | $(GREP) -v "CONFIG_HEADERS=" | $(GREP) -v "CONFIG_FILES="
#drl 11/29/2001 This is a very ugly hack to get make dist to work
EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs \
-$(SPLINTP) -help version
.PHONY: help
+
help:
-@$(SPLINT)
-@LARCH_PATH=/dev/null; $(SPLINT) -nof empty.lcl
-@$(SPLINTP) +boolint +boolint
-@$(SPLINTP) -help flags alpha
-@$(SPLINTP) -help flags all
- -@$(SPLINTP) -help flags full
- -@$(SPLINTP) -help flags manual
+ -@$(SPLINTP) -help flags full | $(GREP) -v " Path argument. Default: " | $(GREP) -v " lclimportdir <directory> "
+ -@$(SPLINTP) -help flags manual | $(GREP) -v " Path argument. Default: " | $(GREP) -v " lclimportdir <directory> "
+
+#larch and lclimportdir have different hardcoded default paths so don't include the path in the output..
.PHONY: clean-local
clean-local:
-make -e clean
-make -e check
employee.c: (in function employee_equal)
employee.c:25: Function strncmp expects arg 3 to be size_t gets int:
-make -e clean
-make -e check
employee.c: (in function employee_setName)
employee.c:17: Parameter 1 (e->name) to function strcpy is declared unique but
Categories: directories, files
Default Setting: -
Set globally only
-*** Note: possible difference in the test result because of the default path here:
- Path argument. Default: .:/usr/local/share/splint/lib:/af10/evans/LCLintDev/
- lib:
+ Path argument. Default: .:/usr/local/share/splint/lib:/af9/drl7x/reTmp/LCLin
+ tDev/lib:
lclexpect
expect <int> spec errors
Categories: directories, files
Default Setting: -
Set globally only
-*** Note: possible difference in the test result because of the default path here:
- Directory argument. Default: .:/usr/local/share/splint/imports:/af10/evans/L
- CLintDev/imports
+ Directory argument. Default: .:/usr/local/share/splint/imports:/af9/drl7x/re
+ Tmp/LCLintDev/imports
lcs
generate .lcs files
===================================
tmpdir <directory> [/tmp/]: <G><P:->
Set directory for writing temp files.
-*** Note: possible difference in the test result because of the default path here:
-larchpath <path> [.:/usr/local/share/splint/lib:/af10/evans/LCLintDev/lib:]:
-<G><P:->
+larchpath <path> [.:/usr/local/share/splint/lib:/af9/drl7x/reTmp/LCLintDev/lib:]
+: <G><P:->
Set path for searching for library files (overrides LARCH_PATH environment
variable).
-*** Note: possible difference in the test result because of the default path here:
-lclimportdir <directory> [.:/usr/local/share/splint/imports:/af10/evans/LCLintDe
-v/imports]: <G><P:->
+lclimportdir <directory> [.:/usr/local/share/splint/imports:/af9/drl7x/reTmp/LCL
+intDev/imports]: <G><P:->
Set directory to search for LCL import files (overrides LCLIMPORTDIR).
sysdirs <path> [/usr/]: <G><P:->
Set directories for system files (default /usr/include). Separate
;;; Splint Library null6.lcd
-;;Splint 3.0.1.2 --- 10 Jan 2002
+;;Splint 3.0.1.2 --- 14 Jan 2002
;;lib:298
;;ctTable
0 u-2 19 38
;;; Splint Library newlint.lcd
-;;Splint 3.0.1.2 --- 10 Jan 2002
+;;Splint 3.0.1.2 --- 14 Jan 2002
;;lib:298
;;ctTable
0 u-2 19 38