Skip to content

Commit

Permalink
minor bug in if for compilerid detection
Browse files Browse the repository at this point in the history
  • Loading branch information
suvarchal committed Sep 5, 2023
1 parent 92090fe commit 2d0268c
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion env.sh
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,7 @@ else
shift # pop the argument as we already stored it, remaining arguments are passed to cmake

# check if given machine spec has + in it. if so save the later part as compilerid
if [[ $LOGINHOST == *"+"* ]]; then
if [[ $MACHINESPEC == *"+"* ]]; then
LOGINHOST="${MACHINESPEC%%+*}" # Everything before the '+'
COMPILERID="${MACHINESPEC#*+}" # Everything after the '+'
else
Expand Down Expand Up @@ -98,6 +98,7 @@ else
export FESOM_PLATFORM_STRATEGY=$STRATEGY
SHELLFILE="${DIR}/env/${STRATEGY}/shell"
if [[ -n ${COMPILERID} ]]; then
echo "Compiler ID for shell is: ${COMPILERID}"
SHELLFILE="${SHELLFILE}.${COMPILERID}"
fi
if [[ ! -e ${SHELLFILE} ]]; then
Expand Down

0 comments on commit 2d0268c

Please sign in to comment.