diff options
author | Jörg Frings-Fürst <jff@merkur> | 2014-05-18 16:08:14 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <jff@merkur> | 2014-05-18 16:08:14 +0200 |
commit | a15cf65c44d5c224169c32ef5495b68c758134b7 (patch) | |
tree | 3419f58fc8e1b315ba8171910ee044c5d467c162 /build-0.3/install/install |
Imported Upstream version 3.3.0.2upstream/3.3.0.2
Diffstat (limited to 'build-0.3/install/install')
-rwxr-xr-x | build-0.3/install/install | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/build-0.3/install/install b/build-0.3/install/install new file mode 100755 index 0000000..20193b6 --- /dev/null +++ b/build-0.3/install/install @@ -0,0 +1,22 @@ +#! /usr/bin/env bash + +# file : build/install/install +# author : Boris Kolpackov <boris@codesynthesis.com> +# copyright : Copyright (c) 2004-2010 Code Synthesis Tools CC +# license : GNU GPL v2; see accompanying LICENSE file + +# Run native install command if available and install-sh otherwise. +# Also strip the -p argument (should be first) if calling install-sh +# which doesn't support it. +# + +type install >/dev/null 2>&1 + +if [ $? -eq 0 ]; then + exec install $* +else + if [ "$1" = "-p" ]; then + shift + fi + exec `dirname $0`/install-sh $* +fi |