From ab0c93d303e0145edc9e5c29f157259efdf5637e Mon Sep 17 00:00:00 2001 From: Eric Coissac Date: Thu, 2 Feb 2023 12:18:04 +0100 Subject: [PATCH] install script with options of install directory and command prefix --- install_obitools.sh | 2 -- 1 file changed, 2 deletions(-) diff --git a/install_obitools.sh b/install_obitools.sh index 4aacc3d..4898322 100755 --- a/install_obitools.sh +++ b/install_obitools.sh @@ -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}')