From f0a2744435fd81d58d299b362f2de3ef1e929440 Mon Sep 17 00:00:00 2001 From: Eric Coissac Date: Thu, 2 Feb 2023 13:23:16 +0100 Subject: [PATCH] install script with options of install directory and command prefix --- install_obitools.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/install_obitools.sh b/install_obitools.sh index f645e32..b6e0c21 100755 --- a/install_obitools.sh +++ b/install_obitools.sh @@ -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