comparison: make/install-lib.sh
make/install-lib.sh
- changeset 1522
- d0b5eb033b2a
- parent 1484
- d72725216f37
equal
deleted
inserted
replaced
| 1521:493f609665de | 1522:d0b5eb033b2a |
|---|---|
| 4 echo "Usage: $0 <src> <libdir> <version> <major_version> [destdir]" | 4 echo "Usage: $0 <src> <libdir> <version> <major_version> [destdir]" |
| 5 exit 1 | 5 exit 1 |
| 6 fi | 6 fi |
| 7 | 7 |
| 8 SRC=$1 | 8 SRC=$1 |
| 9 LIB=$(basename $1) | 9 LIB=`basename $1` |
| 10 LIBDIR=$5$2 | 10 LIBDIR=$5$2 |
| 11 LIBVERSION=$3 | 11 LIBVERSION=$3 |
| 12 LIBVERSION_MAJOR=$4 | 12 LIBVERSION_MAJOR=$4 |
| 13 | 13 |
| 14 cp -f "$SRC" "$LIBDIR/$LIB.$LIBVERSION" | 14 cp -f "$SRC" "$LIBDIR/$LIB.$LIBVERSION" |
