Try save WITHLANG

This commit is contained in:
William S Fulton 2021-10-13 12:43:24 +01:00
commit 61983e04b0

View file

@ -199,6 +199,7 @@ jobs:
echo PATH="$PATH" >> $GITHUB_ENV
source Tools/GHA-linux-install.sh
echo WITHLANG="$WITHLANG" >> $GITHUB_ENV
case $(uname) in
Linux)