diff options
Diffstat (limited to 'release_23/win32/dobison.cmd')
| -rwxr-xr-x | release_23/win32/dobison.cmd | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/release_23/win32/dobison.cmd b/release_23/win32/dobison.cmd deleted file mode 100755 index 72224f04a8c8..000000000000 --- a/release_23/win32/dobison.cmd +++ /dev/null @@ -1,27 +0,0 @@ -@echo off -rem dobison.cmd prefix mode target source -rem prefix - passed to bison as -p<prefix> -rem mode - either debug or release -rem target - generated parser file name without extension -rem source - input to bison -rem headercopydir - directory to receive a copy of the header - -if "%2"=="debug" (set flags=-tvdo) else (set flags=-vdo) - -rem Test for presence of bison. -bison --help >NUL -if errorlevel 1 goto nobison - -rem Run bison. -echo bison -p%1 %flags%%3.cpp %4 -echo move %3.hpp %3.h -bison -p%1 %flags%%3.cpp %4 && move %3.hpp %3.h -echo copy %3.h %5 -copy %3.h %5 -exit - -:nobison -echo Bison not found. Using pre-generated files. -copy %~pn4.cpp.cvs %5\%3.cpp -copy %~pn4.h.cvs %5\%3.h -exit |