[splint.git] / os2 / run_splint.cmd

@echo off\r
rem *****************************************************************\r
rem run splint from the source\os2 directory with proper environment\r
rem *****************************************************************\r
setlocal\r
call setenv.cmd\r
echo it's %LCLBINARY%, %LARCH_PATH% and %LCLIMPORTDIR%\r
%LCLBINARY% %1 %2 %3 %4 %5 %6 %7 %8 %9\r
endlocal\r
Commit	Line	Data
e5a87a6c	1	@echo off\r
e5a87a6c	2	rem *****************************************************************\r
87fa79e5	3	rem run splint from the source\os2 directory with proper environment\r
e5a87a6c	4	rem *****************************************************************\r
e5a87a6c	5	setlocal\r
3934e170	6	call setenv.cmd\r
e5a87a6c	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