diff options
| author | aarne <aarne@chalmers.se> | 2009-05-18 08:50:23 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2009-05-18 08:50:23 +0000 |
| commit | 953c77a08ac708a6f3ee0d8103d80c40e306b77f (patch) | |
| tree | 54b5fa5a6e0862bd8b59af7ec796aa58f7a2c8e6 | |
| parent | 3b65d883363c84e4aa29f930e00c4752002c4a2c (diff) | |
entry "make gf" in Makefile with similar effect as in old src/Makefile
| -rw-r--r-- | Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -21,3 +21,7 @@ clean: sdist: runghc Setup.hs sdist +gf: + runghc Setup.hs build rgl-none + strip dist/build/gf/gf + mv dist/build/gf/gf bin |