wscript
changeset 9974 ea69d1cc3e46
parent 9909 e8571e4f5394
child 10147 52b4fed4e789
--- a/wscript	Fri Jul 26 14:17:48 2013 +0200
+++ b/wscript	Fri Jul 26 10:55:03 2013 -0700
@@ -288,6 +288,8 @@
     conf.env['NS3_OPTIONAL_FEATURES'] = []
 
     conf.load('compiler_c')
+    cc_string='.'.join(conf.env['CC_VERSION'])
+    conf.msg('Checking for cc version',cc_string,'GREEN')
     conf.load('compiler_cxx')
     conf.load('cflags', tooldir=['waf-tools'])
     conf.load('command', tooldir=['waf-tools'])