summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xutil/crossgcc/buildgcc4
1 files changed, 3 insertions, 1 deletions
diff --git a/util/crossgcc/buildgcc b/util/crossgcc/buildgcc
index d00941762d..0f4dd7a9a6 100755
--- a/util/crossgcc/buildgcc
+++ b/util/crossgcc/buildgcc
@@ -982,7 +982,9 @@ if [ -n "$CC" ]; then
HALT_FOR_TOOLS=1
fi
else
- if searchtool gcc "Free Software Foundation" nofail > /dev/null; then
+ if searchtool gnatgcc "Free Software Foundation" nofail > /dev/null; then
+ CC=gnatgcc
+ elif searchtool gcc "Free Software Foundation" nofail > /dev/null; then
CC=gcc
else
searchtool cc '^' nofail > /dev/null || please_install gcc