diff options
Diffstat (limited to 'djgpp/config.over')
| -rw-r--r-- | djgpp/config.over | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/djgpp/config.over b/djgpp/config.over index 4895cf1a43..c624386678 100644 --- a/djgpp/config.over +++ b/djgpp/config.over @@ -25,7 +25,10 @@ repair() -e 's/posix/POSIX/'\ -e 's/sdbm_fil/SDBM_File/'\ -e 's/socket/Socket/'\ - -e 's/thread/Thread/' + -e 's/thread/Thread/'\ + -e 's/byteload/ByteLoader/'\ + -e 's=devel/peek=Devel/Peek='\ + -e 's=devel/dprof=Devel/DProf=' } static_ext=$(repair "$static_ext") extensions=$(repair "$extensions") |