]> andersk Git - splint.git/blobdiff - os2/run_lclint.cmd
file format problems
[splint.git] / os2 / run_lclint.cmd
diff --git a/os2/run_lclint.cmd b/os2/run_lclint.cmd
deleted file mode 100755 (executable)
index 35fc3d9..0000000
+++ /dev/null
@@ -1,12 +0,0 @@
-@echo off\r
-rem *****************************************************************\r
-rem run LCLint from the source\os2 directory with proper environment\r
-rem *****************************************************************\r
-setlocal\r
-set base=e:\usr\src\lclint-3.0.0.16\r
-set LARCH_PATH=%base%\lib\r
-set LCLIMPORTDIR=%base%\imports\r
-set LCLBINARY=%base%\bin\lclint.exe \r
-echo it's %LCLBINARY%, %LARCH_PATH% and %LCLIMPORTDIR%\r
-%LCLBINARY% %1 %2 %3 %4 %5 %6 %7 %8 %9\r
-endlocal\r
This page took 0.840048 seconds and 4 git commands to generate.