diff options
-rw-r--r-- | config/gnu-flags | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/config/gnu-flags b/config/gnu-flags index 93f044a..837fb29 100644 --- a/config/gnu-flags +++ b/config/gnu-flags @@ -27,6 +27,9 @@ if test X = "X$cc_flags_set"; then cc_vers_major=`echo $cc_version | cut -f1 -d.` cc_vers_minor=`echo $cc_version | cut -f2 -d.` cc_vers_patch=`echo $cc_version | cut -f3 -d.` + test -n "$cc_vers_major" || cc_vers_major=0 + test -n "$cc_vers_minor" || cc_vers_minor=0 + test -n "$cc_vers_patch" || cc_vers_patch=0 cc_vers_all=`expr $cc_vers_major '*' 1000000 + $cc_vers_minor '*' 1000 + $cc_vers_patch` fi |