]> andersk Git - splint.git/blobdiff - test/db2.expect
Added files to generate a binary package by doing make bindist
[splint.git] / test / db2.expect
index 285099f5a319096bcf76ef2a1f529a6ba4bd0ab1..d8b1b5fc2f55134fadf5c75352ef963861b5fa7e 100644 (file)
@@ -1,5 +1,3 @@
-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
@@ -43,7 +41,7 @@ erc.c: (in function erc_sprint)
 erc.c:141: Fresh storage returned as unqualified (should be only): result
    erc.c:122: Fresh storage result allocated
 
-Finished LCLint checking --- 15 code errors found, as expected
+Finished checking --- 15 code warnings, as expected
 
 employee.c: (in function employee_setName)
 employee.c:17: Parameter 1 (e->name) to function strcpy is declared unique but
@@ -109,6 +107,6 @@ drive.c:163: Fresh storage em2 not released before return
 drive.c:163: Fresh storage em3 not released before return
    drive.c:147: Fresh storage em3 allocated
 
-Finished LCLint checking --- 25 code errors found, as expected
+Finished checking --- 25 code warnings, as expected
 
-Finished LCLint checking --- no code errors found
+Finished checking --- no warnings
This page took 0.03906 seconds and 4 git commands to generate.