diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-11-12 20:48:01 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-11-12 20:48:01 +0000 |
| commit | 49c8a52adea8056bc1f55e62e2d9c30a446d1ead (patch) | |
| tree | 99163d5c090c59879a49305e7a78e755772c3ea3 /src/Makefile | |
| parent | 52bb034d8ea07433e03de4c320db013b7c62aee7 (diff) | |
robustness to gfcc interpreter ; make gfcc to bin
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index 7d0a7f42c..7c13d043c 100644 --- a/src/Makefile +++ b/src/Makefile @@ -180,7 +180,7 @@ tools/$(GF_DOC_EXE): tools/GFDoc.hs gfcc: $(GHMAKE) $(GHCOPTFLAGS) -o gfcc GF/Canon/GFCC/RunGFCC.hs strip gfcc - + mv gfcc ../bin/ # # Distribution # |