wom-bat

Received-SPF: softfail (lists.seL4.systems: transitioning domain of gmail.com
 does not designate 202.120.11.152 as permitted sender)
 client-ip=202.120.11.152; envelope-from=test@gmail.com; helo=gmail.com;
Received: from [202.120.11.152] (helo=gmail.com)
	by lists.seL4.systems with esmtp (Exim 4.97)
	(envelope-from <test@gmail.com>)
	id 1rVYva-0000000129G-3sbJ
	for test@sel4.systems;
	Fri, 02 Feb 2024 02:24:45 +1100
Date: Thu, 01 Feb 2024 23:24:42 +0800

wom-bat

diff --git a/packages/machine-usp-x86/build.py b/packages/machine-usp-x86/build.py
index 030f67a..28a156f 100644
--- a/packages/machine-usp-x86/build.py
+++ b/packages/machine-usp-x86/build.py
@@ -66,6 +66,6 @@ def _get_gcc_options():
 def _get_gcc_version():
     gcc_output = subprocess.check_output(['gcc', '--version']).decode()
     first_line = gcc_output.splitlines()[0]
-    version_str = re.search(' ([0-9]+\.[0-9])+\.[0-9]+$', first_line).group(1)
+    version_str = re.search(' ([0-9]+\.[0-9])+\.[0-9]+ ?.*$', first_line).group(1)