diff options
author | paltherr <paltherr@epfl.ch> | 2003-03-17 15:36:04 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2003-03-17 15:36:04 +0000 |
commit | 6dfc1be51708a5cf2531b2200cfe08c943179232 (patch) | |
tree | 020fda716047f634a8fde8e0eb935557efa0b683 /support/scripts/install | |
parent | 22c472cff569037c4b8ff87dbf8e8ae2b999a8d7 (diff) | |
download | scala-6dfc1be51708a5cf2531b2200cfe08c943179232.tar.gz scala-6dfc1be51708a5cf2531b2200cfe08c943179232.tar.bz2 scala-6dfc1be51708a5cf2531b2200cfe08c943179232.zip |
- Added scripts
Diffstat (limited to 'support/scripts/install')
-rwxr-xr-x | support/scripts/install | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/support/scripts/install b/support/scripts/install new file mode 100755 index 0000000000..e0f19ad9d3 --- /dev/null +++ b/support/scripts/install @@ -0,0 +1,10 @@ +#!/bin/bash +########################################################-*-Shell-script-*-#### +# Install Command +############################################################################## +# $Id$ + +source ${0%/*}/install.sh; +install "$@" + +############################################################################## |