install script with options of install directory and command prefix

This commit is contained in:
2023-02-02 13:23:16 +01:00
parent 49e4cefd5b
commit f0a2744435

View File

@ -110,7 +110,7 @@ else
make OBITOOLS_PREFIX="${OBITOOLS_PREFIX}"
fi
cp build/* "${INSTALL_DIR}/bin" 2> /dev/null \
(cp build/* "${INSTALL_DIR}/bin" 2> /dev/null) \
|| sudo cp build/* "${INSTALL_DIR}/bin"
popd