Makefile
changeset 5305 e07957fe871e
parent 5237 c14c97d7030a
child 5362 4a0088602828
child 5551 5cc56d0e6f5f
--- a/Makefile	Sat Dec 09 23:55:56 2006 +0000
+++ b/Makefile	Sun Dec 10 00:20:26 2006 +0000
@@ -254,9 +254,13 @@
 
 # Executable file extension
 ifdef WIN32
-EXE=.exe
+  EXE=.exe
 else
-EXE=
+  ifdef OS2
+    EXE=.exe
+  else
+    EXE=
+  endif
 endif
 
 # Set output executable names