diff options
Diffstat (limited to 'util/pl/Mingw32f.pl')
-rw-r--r-- | util/pl/Mingw32f.pl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/util/pl/Mingw32f.pl b/util/pl/Mingw32f.pl index a53c537646..44f5673d7a 100644 --- a/util/pl/Mingw32f.pl +++ b/util/pl/Mingw32f.pl @@ -11,9 +11,9 @@ $rm='del'; $cc='gcc'; if ($debug) - { $cflags="-g2 -ggdb"; } + { $cflags="-g2 -ggdb -DDSO_WIN32"; } else - { $cflags="-O3 -fomit-frame-pointer"; } + { $cflags="-O3 -fomit-frame-pointer -DDSO_WIN32"; } $obj='.o'; $ofile='-o '; |