summaryrefslogtreecommitdiff
path: root/src/Makefile
diff options
context:
space:
mode:
authorjanna <unknown>2003-11-04 12:02:22 +0000
committerjanna <unknown>2003-11-04 12:02:22 +0000
commit0dbf258ab53c0b665322cf4862e0872863395fe5 (patch)
tree0c6e8932603b42cecd7f848c8bfaa330627158e4 /src/Makefile
parentf23e22f3fde16f7a0e382fb4f9937b721095391e (diff)
*** empty log message ***
Diffstat (limited to 'src/Makefile')
-rw-r--r--src/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile
index 2d342b099..164eaba4e 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -12,7 +12,7 @@ ghc:
nofud:
$(GHMAKE) $(GHCFLAGS) $(GHCINCLUDENOFUD) --make GF.hs -o gf2n ; strip gf2n ; mv gf2n ../bin/
windows:
- $(GHMAKE) $(GHCFLAGS) $(WINDOWSINCLUDE) --make GF.hs -o gf2w ; strip gf2w ; mv gf2w ../bin/
+ $(GHMAKE) $(GHCFLAGS) $(WINDOWSINCLUDE) --make GF.hs -o gf2w ; strip gf2w.exe ; mv gf2w.exe ../bin/
nofud-links:
cd for-ghc-nofud ; rm -f *.hs ; ln -s ../for-ghc/Arch.hs ; ln -s ../for-hugs/ArchEdit.hs ; cd ..
batch: