os2/makeos2.cmd: also make in ../lib with `-o' option.

[splint.git] / os2 / makeos2.cmd

diff --git a/os2/makeos2.cmd b/os2/makeos2.cmd
index dbc4efc3acc9f648e0320fcba2204dbb9b052f19..b19264d6424d6dfcfd9a047b8c2be1f0a5bd0a2d 100755 (executable)
--- a/os2/makeos2.cmd
+++ b/os2/makeos2.cmd
@@ -36,6 +36,7 @@ goto end
 \r
 :oldconf\r
 make -f Makefile.os2 --directory=../src --warn-undefined-variables %2 %3 %4 %5 %6 %7 %8 %9 \r
+make -f Makefile.os2 --directory=../lib --warn-undefined-variables %2 %3 %4 %5 %6 %7 %8 %9 \r
 goto end\r
 \r
 :test\r