diff options
| author | bringert <bringert@cs.chalmers.se> | 2007-11-12 16:17:04 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2007-11-12 16:17:04 +0000 |
| commit | ca6198dc98693face400d25364d21ae9bedf12df (patch) | |
| tree | 1a54837b134d5ae82ec65934fcfa4f74c1994e3c /bin/gfc | |
| parent | 4500ce63167e6dce38b103090ff4e0849c9dbe45 (diff) | |
Use configure to produce a gfc script with the correct path to gf3. NOTE: you need to re-run autoconf after pulling this patch.
Diffstat (limited to 'bin/gfc')
| -rw-r--r-- | bin/gfc | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/bin/gfc b/bin/gfc deleted file mode 100644 index 5b4242a6c..000000000 --- a/bin/gfc +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/sh -GFBIN=/usr/local/bin/gf3 -exec $GFBIN --batch ${1+"$@"} |