Commit 8d5fda5 1 parent 7e4c3ec commit 8d5fda5 Copy full SHA for 8d5fda5
File tree 1 file changed +13
-1
lines changed
1 file changed +13
-1
lines changed Original file line number Diff line number Diff line change @@ -115,9 +115,21 @@ jobs:
115
115
116
116
- name : Include MP-Core?
117
117
run : |
118
+ export HAVE_MP_CORE0=`echo "0"`
119
+ export HAVE_MP_CORE1=`echo "1"`
120
+ export HAVE_MP_CORE2=`echo "1%"`
121
+ echo "HAVE_MP_CORE0=${HAVE_MP_CORE0}"
122
+ echo "HAVE_MP_CORE1=${HAVE_MP_CORE1}"
123
+ echo "HAVE_MP_CORE2=${HAVE_MP_CORE2}"
124
+ export INCLUDE_MP_CORE0=$(echo "$HAVE_MP_CORE0" | grep -o '[01]' | tail -n 1)
125
+ export INCLUDE_MP_CORE1=$(echo "$HAVE_MP_CORE1" | grep -o '[01]' | tail -n 1)
126
+ export INCLUDE_MP_CORE2=$(echo "$HAVE_MP_CORE2" | grep -o '[01]' | tail -n 1)
127
+ echo "INCLUDE_MP_CORE0=${INCLUDE_MP_CORE0}"
128
+ echo "INCLUDE_MP_CORE1=${INCLUDE_MP_CORE1}"
129
+ echo "INCLUDE_MP_CORE2=${INCLUDE_MP_CORE2}"
118
130
export HAVE_MP_CORE=`$ML_CMD "fprintf('%d', have_feature('mp_core'))"`
119
131
echo "HAVE_MP_CORE=${HAVE_MP_CORE}"
120
- export INCLUDE_MP_CORE=${ HAVE_MP_CORE: -1}
132
+ export INCLUDE_MP_CORE=$(echo "$ HAVE_MP_CORE" | grep -o '[01]' | tail -n 1)
121
133
echo "INCLUDE_MP_CORE=${INCLUDE_MP_CORE}"
122
134
echo "INCLUDE_MP_CORE=${INCLUDE_MP_CORE}" >> $GITHUB_ENV
123
135
You can’t perform that action at this time.
0 commit comments