diff --git a/djgpp/config.bat b/djgpp/config.bat index 820b5225..ee9c4c7f 100644 --- a/djgpp/config.bat +++ b/djgpp/config.bat @@ -209,6 +209,9 @@ mv ./lalr1.cc %XSRC%/data/lalr1.cc sed "s/c++\.m4/cxx.m4/" %XSRC%/data/location.cc > location.cc if errorlevel 1 goto location.ccFileError mv ./location.cc %XSRC%/data/location.cc +sed "s/c++\.m4/cxx.m4/" %XSRC%/data/glr.cc > glr.cc +if errorlevel 1 goto glr.ccFileError +mv ./glr.cc %XSRC%/data/glr.cc Rem Define DJGPP specific defs in config.hin echo Editing config.hin... @@ -416,6 +419,10 @@ goto End echo ./data/lalr1.cc file editing failed! goto End +:glr_ccFileError +echo ./data/glr.cc file editing failed! +goto End + :location_ccFileError echo ./data/location.cc file editing failed! goto End