os2/run_splint.cmd

   1 @echo off\r
   2 rem *****************************************************************\r
   3 rem run splint from the source\os2 directory with proper environment\r
   4 rem *****************************************************************\r
   5 setlocal\r
   6 call setenv.cmd\r
   7 echo it's %LCLBINARY%, %LARCH_PATH% and %LCLIMPORTDIR%\r
   8 %LCLBINARY% %1 %2 %3 %4 %5 %6 %7 %8 %9\r
   9 endlocal\r