From 431ff4782406733820c0cc17fc9bd3de84f9bc8e Mon Sep 17 00:00:00 2001 From: "John J. Camilleri" Date: Mon, 26 Apr 2021 08:54:58 +0200 Subject: [PATCH] Setup.sh: don't build Symbol if Try is false This was uncovered by recent changes to Somali in 1131058b, which built with Setup.hs but failed with Setup.sh --- Setup.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/Setup.sh b/Setup.sh index 958da9891..3d69081e6 100755 --- a/Setup.sh +++ b/Setup.sh @@ -72,6 +72,7 @@ for lang in $langs; do for mod in $modules_langs $modules_api; do if [ $mod == "Compatibility" ] && [[ "$langs_compat" != *"$lang"* ]]; then continue; fi if [ $mod == "Try" ] && [[ "$langs_try" != *"$lang"* ]]; then continue; fi + if [ $mod == "Symbol" ] && [[ "$langs_try" != *"$lang"* ]]; then continue; fi if [ $mod == "Symbolic" ] && [[ "$langs_symbolic" != *"$lang"* ]]; then continue; fi for file in "${src}"/*/"${mod}${lang}".gf; do if [ ! -f "$file" ]; then continue; fi