diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-10-04 11:24:46 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-10-04 11:24:46 +0000 |
| commit | ea700323abe1e1b6bb48ed68a0243c22728ae11b (patch) | |
| tree | 7009d207615faca742a13b4464b88a4b4e054984 | |
| parent | db8f5d898e139ca05aa9326f89c54eb9aeab7126 (diff) | |
makefiles for first make
| -rw-r--r-- | src/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Makefile b/src/Makefile index 83b8e9561..6a54fdf09 100644 --- a/src/Makefile +++ b/src/Makefile @@ -66,6 +66,8 @@ endif all: unix gfdoc $(BUILD_JAR) lib +gf: unix + unix: today opt windows: unix |