diff options
Diffstat (limited to 'make/scripts/deploy-jars_external-webstarttest.sh')
| -rwxr-xr-x | make/scripts/deploy-jars_external-webstarttest.sh | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/make/scripts/deploy-jars_external-webstarttest.sh b/make/scripts/deploy-jars_external-webstarttest.sh deleted file mode 100755 index 3fc1daa51..000000000 --- a/make/scripts/deploy-jars_external-webstarttest.sh +++ /dev/null @@ -1,26 +0,0 @@ -#! /bin/sh - -if [ ! -e scripts -o ! -e ../make ] ; then - echo start this script from JOGL/jogl/make - exit 1 -fi - -SOURCE=$1 -shift - -wsdir=$1 -shift - -if [ -z "$SOURCE" -o -z "$wsdir" ] ; then - echo usage $0 source webstartdir - echo source might be [email protected]:webstart/ - exit 1 -fi - -if [ ! -e $wsdir ] ; then - echo $wsdir does not exist - exit 1 -fi - -echo scp -v $SOURCE*natives* $wsdir -scp -v $SOURCE*natives* $wsdir |