diff options
| -rwxr-xr-x | scripts/prereq.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/prereq.sh b/scripts/prereq.sh index e585c36dc..9b82b2b74 100755 --- a/scripts/prereq.sh +++ b/scripts/prereq.sh @@ -115,6 +115,9 @@ for compilerbin in $compilerbins; do printf "found\n" CC=$compilerbin break + else + printf "not found\n" + continue fi done @@ -126,6 +129,9 @@ for compilerbin in $compilerbins; do printf "found\n" CXX=$compilerbin break + else + printf "not found\n" + continue fi done |