diff options
| author | krasimir <krasimir@chalmers.se> | 2009-12-13 18:50:29 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-12-13 18:50:29 +0000 |
| commit | f85232947e74ee7ef8c7b0ad2338212e7e68f1be (patch) | |
| tree | 667b886a5e3a4b026a63d4e3597f32497d824761 /src/gfc.in | |
| parent | d88a865faff59c98fc91556ff8700b10ee5f2df8 (diff) | |
reorganize the directories under src, and rescue the JavaScript interpreter from deprecated
Diffstat (limited to 'src/gfc.in')
| -rw-r--r-- | src/gfc.in | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/src/gfc.in b/src/gfc.in deleted file mode 100644 index bd08db0b8..000000000 --- a/src/gfc.in +++ /dev/null @@ -1,30 +0,0 @@ -#!/bin/sh - -prefix="@prefix@" - -case "@host@" in - *-cygwin) - prefix=`cygpath -w "$prefix"`;; -esac - -exec_prefix="@exec_prefix@" -GF_BIN_DIR="@bindir@" -GF_DATA_DIR="@datadir@/GF-@PACKAGE_VERSION@" - -GFBIN="$GF_BIN_DIR/gf" - -if [ ! -x "${GFBIN}" ]; then - GF_BIN_DIR=`dirname $0` - GFBIN="$GF_BIN_DIR/gf" -fi - -if [ ! -x "${GFBIN}" ]; then - GFBIN=`which gf` -fi - -if [ ! -x "${GFBIN}" ]; then - echo "gf not found." - exit 1 -fi - -exec $GFBIN --batch "$@" |