diff options
-rwxr-xr-x | bin/.scala_wrapper | 48 |
1 files changed, 0 insertions, 48 deletions
diff --git a/bin/.scala_wrapper b/bin/.scala_wrapper deleted file mode 100755 index 4906ec4835..0000000000 --- a/bin/.scala_wrapper +++ /dev/null @@ -1,48 +0,0 @@ -#!/bin/sh -############################################################################## -# __ # -# ________ ___ / / ___ Scala Tools Launch Script # -# / __/ __// _ | / / / _ | (c) 2002-2003, LAMP/EPFL # -# __\ \/ /__/ __ |/ /__/ __ | # -# /____/\___/_/ |_/____/_/ | | # -# |/ # -############################################################################## - -# $Id$ - -############################################################################## -# Definition of UNAME, SOURCE, SCRIPT, PREFIX and VERSION - -unset SCRIPT; -UNAME=`uname`; -SOURCE=$0; -SCRIPT=`basename "$SOURCE"`; -while [ -h "$SOURCE" ]; do - SCRIPT=`basename "$SOURCE"`; - LOOKUP=`ls -ld "$SOURCE"`; - TARGET=`expr "$LOOKUP" : '.*-> \(.*\)$'`; - if expr "${TARGET:-.}/" : '/.*/$' > /dev/null; then - SOURCE=${TARGET:-.}; - else - SOURCE=`dirname "$SOURCE"`/${TARGET:-.}; - fi; -done; -PREFIX=`dirname "$SOURCE"`/..; -prefix=$PREFIX; -PREFIX=`cd "$PREFIX"; pwd`; - -VERSION={#VERSION#}; -VERSION=${VERSION:-"unknown version"}; - -############################################################################## -# Main - -echo 1>&2 "$0: This script is obsolete."; -echo 1>&2 "All scripts that used to be in $PREFIX/bin/ have been moved to" \ - "$PREFIX/objects/main/bin/. You should remove all remaining symbolic" \ - "links in $PREFIX/bin/ or replace them by links pointing to the new" \ - "location." - -exit 1; - -############################################################################## |