X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/0e51b980d50b0609b2c3621c16e26632f8f019ee..36250f225665415476f402c25e138d99fa18381b:/os2/makeos2.cmd

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