diff --git a/install-lib.sh b/install-lib.sh index 4a4e814..24bbb4e 100755 --- a/install-lib.sh +++ b/install-lib.sh @@ -35,6 +35,8 @@ P="$1"; shift PC="$1"; shift HEADER_NAME="$1"; shift +DEST_DIR="${DEST_DIR}/${P}" + # Copy to destination directory. Deal with the case where the user has