2023-10-18 18:43:18 +02:00
|
|
|
Index: VirtualBox-7.0.12/configure
|
2016-07-26 18:15:55 +02:00
|
|
|
===================================================================
|
2023-10-18 18:43:18 +02:00
|
|
|
--- VirtualBox-7.0.12.orig/configure
|
|
|
|
+++ VirtualBox-7.0.12/configure
|
2023-07-20 19:04:46 +02:00
|
|
|
@@ -475,8 +475,13 @@ check_gcc()
|
2015-05-27 15:07:32 +02:00
|
|
|
log_failure "cannot execute '$CXX -dumpversion'"
|
|
|
|
fail really
|
|
|
|
fi
|
|
|
|
- cc_maj=`echo $cc_ver|cut -d. -f1`
|
|
|
|
- cc_min=`echo $cc_ver|cut -d. -f2`
|
|
|
|
+ if echo $cc_ver | grep -q '\.'; then
|
|
|
|
+ cc_maj=`echo $cc_ver|cut -d. -f1`
|
|
|
|
+ cc_min=`echo $cc_ver|cut -d. -f2`
|
|
|
|
+ else
|
|
|
|
+ cc_maj=$cc_ver
|
|
|
|
+ cc_min=0
|
|
|
|
+ fi
|
|
|
|
if [ "x$cc_ver" != "x$cxx_ver" ]; then
|
|
|
|
log_failure "gcc version $cc_ver does not match g++ version $cxx_ver"
|
|
|
|
fail really
|