diff options
Diffstat (limited to 'djgpp')
| -rw-r--r-- | djgpp/config.over | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/djgpp/config.over b/djgpp/config.over index f9c167ec24..1bdd8ca120 100644 --- a/djgpp/config.over +++ b/djgpp/config.over @@ -35,7 +35,9 @@ repair() -e 's=File/=='\ -e 's=glob=='\ -e 's=Glob=='\ - -e 's/storable/Storable/' + -e 's/storable/Storable/'\ + -e 's/encode/Encode/'\ + -e 's=filter/util/call=Filter/Util/Call=' } static_ext=$(repair "$static_ext") extensions=$(repair "$extensions") |