blob: 40fe037fef99e0490347e3dc3a01c914b74e1f5f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#! /usr/bin/env bash
# file : build/install/install
# copyright : Copyright (c) 2004-2012 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
|
