diff options
Diffstat (limited to 'djgpp/configure.bat')
-rw-r--r-- | djgpp/configure.bat | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/djgpp/configure.bat b/djgpp/configure.bat index e7d41d7130..6073f442e0 100644 --- a/djgpp/configure.bat +++ b/djgpp/configure.bat @@ -29,6 +29,7 @@ goto end sh -c 'if test ! -d /tmp; then mkdir /tmp; fi' cp djgpp.c config.over .. cd .. +mv ext/B/defsu* ext/B/defsubsh.PL echo Running sed... sh djgpp/djgppsed.sh |