diff options
Diffstat (limited to 'config/gnu-flags')
| -rw-r--r-- | config/gnu-flags | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/config/gnu-flags b/config/gnu-flags index 75c6c51..e34c375 100644 --- a/config/gnu-flags +++ b/config/gnu-flags @@ -27,6 +27,8 @@ 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 |