diff --git a/tools/gcc.py b/tools/gcc.py
index baf319f0adb587c3b935abb20a9cde3f39a4d1db..60d56cc1bd19008b9571811f30b06b6e64a312bb 100644
--- a/tools/gcc.py
+++ b/tools/gcc.py
@@ -107,7 +107,7 @@ def GetGCCLibcNameVersion(rtconfig):
     if rtconfig.PLATFORM != 'gcc':
         return ('unknown', 'unknown')
 
-    mlibc_version = GetMlibcVersion()
+    mlibc_version = GetMlibcVersion(rtconfig)
     if mlibc_version != 'unknown':
         return ('mlibc', mlibc_version)