X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/a9ec328054b628447830161535f4915f715f49cd..feba098c51041f89cc30fd3028937f370e2ddc8e:/os2/run_splint.cmd

diff --git a/os2/run_splint.cmd b/os2/run_splint.cmd
index 398a985..b6cb561 100755
--- a/os2/run_splint.cmd
+++ b/os2/run_splint.cmd
@@ -5,5 +5,5 @@ rem *****************************************************************
 setlocal
 call setenv.cmd
 echo it's %LCLBINARY%, %LARCH_PATH% and %LCLIMPORTDIR%
-%LCLBINARY% %1 %2 %3 %4 %5 %6 %7 %8 %9
+%LCLBINARY% %1 %2 %3 %4 %5 %6 %7 %8 %9 %10 %11 %12 %13 %14 %15
 endlocal