diff options
| author | John J. Camilleri <john@digitalgrammars.com> | 2018-11-28 14:47:20 +0100 |
|---|---|---|
| committer | John J. Camilleri <john@digitalgrammars.com> | 2018-11-28 14:47:20 +0100 |
| commit | 6352799ccb7d7b9c7d006fd1149b1a977f78e9b3 (patch) | |
| tree | b4db91f52d0c0777be3ff92ca1beb3b8c0bab91c /src/ui/gwt/Translate-shell-external | |
| parent | b1611eccd82fa28d3a701a87291dc8d83537071e (diff) | |
| parent | a45c735545052501e53ecccfa33d0c3e42cc25fd (diff) | |
Merge branch 'master' into new-website
# Conflicts:
# index.html
Diffstat (limited to 'src/ui/gwt/Translate-shell-external')
| -rw-r--r-- | src/ui/gwt/Translate-shell-external | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/src/ui/gwt/Translate-shell-external b/src/ui/gwt/Translate-shell-external deleted file mode 100644 index b1e58f019..000000000 --- a/src/ui/gwt/Translate-shell-external +++ /dev/null @@ -1,19 +0,0 @@ -#!/bin/sh - -APPDIR=`dirname $0`; - -if [ -z "$GWT_CLASSPATH" ]; then - echo 'ERROR: $GWT_CLASSPATH is not set' - echo 'Set $GWT_CLASSPATH to point to the GWT JAR files. For example:' - echo 'export GWT_DIR="/Users/bringert/src/gwt-mac-1.5.2"' - echo 'export GWT_CLASSPATH="$GWT_DIR/gwt-user.jar:$GWT_DIR/gwt-dev-mac.jar"' - exit 1 -fi - -if [ `uname` = "Darwin" ]; then - GWT_JAVA_OPTS=-XstartOnFirstThread -fi - -LIBS=$APPDIR/lib/gwt-dnd-2.5.6.jar - -java $GWT_JAVA_OPTS -Xmx256M -cp "$APPDIR/src:$APPDIR/bin:$LIBS:$GWT_CLASSPATH" com.google.gwt.dev.GWTShell -out "$APPDIR/www" -noserver "$@" http://localhost:41296/translate/; |