install script with options of install directory and command prefix

This commit is contained in:
2023-02-02 12:18:04 +01:00
parent c0df4357dd
commit ab0c93d303

View File

@ -67,8 +67,6 @@ echo WORK_DIR=$WORK_DIR
echo INSTALL_DIR=$INSTALL_DIR
echo OBITOOLS_PREFIX=$OBITOOLS_PREFIX
exit 0
pushd $WORK_DIR
OS=$(uname -a | awk '{print $1}')