diff options
Diffstat (limited to 'djgpp/config.over')
| -rw-r--r-- | djgpp/config.over | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/djgpp/config.over b/djgpp/config.over index c624386678..f47e7fca91 100644 --- a/djgpp/config.over +++ b/djgpp/config.over @@ -28,7 +28,11 @@ repair() -e 's/thread/Thread/'\ -e 's/byteload/ByteLoader/'\ -e 's=devel/peek=Devel/Peek='\ - -e 's=devel/dprof=Devel/DProf=' + -e 's=devel/dprof=Devel/DProf='\ + -e 's=file/=='\ + -e 's=File/=='\ + -e 's=glob=='\ + -e 's=Glob==' } static_ext=$(repair "$static_ext") extensions=$(repair "$extensions") |