diff options
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/Makefile b/src/Makefile index 6cda7d458..99a8c9304 100644 --- a/src/Makefile +++ b/src/Makefile @@ -198,10 +198,10 @@ gfc: strip gfc mv gfc ../bin/ -gfcc: - $(GHMAKE) $(GHCOPTFLAGS) -o gfcc GF/Devel/Shell.hs - strip gfcc - mv gfcc ../bin/ +gfi: + $(GHMAKE) $(GHCOPTFLAGS) -o gfi GF/Devel/GFI.hs + strip gfi + mv gfi ../bin/ gf3: $(GHMAKE) $(GHCOPTFLAGS) -o gf3 GF/Devel/GF3.hs |