From c285f37e1da816ecc935ebc23753837de1772d36 Mon Sep 17 00:00:00 2001 From: James Edmondson Date: Thu, 7 Oct 2021 14:11:42 -0700 Subject: [PATCH] * Fixing a second issue with GAMS_ROOT being set incorrectly in linux/base_build.sh --- scripts/linux/base_build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/linux/base_build.sh b/scripts/linux/base_build.sh index 195ec3d0a..568727048 100755 --- a/scripts/linux/base_build.sh +++ b/scripts/linux/base_build.sh @@ -536,7 +536,7 @@ if [ -z $DMPL_ROOT ] ; then fi if [ -z $GAMS_ROOT ] ; then - export GAMS_ROOT=$INSTALL_DIR + export GAMS_ROOT=$INSTALL_DIR/gams fi if [ -z $MPC_ROOT ] ; then