build.py
changeset 139 84ce50ae8fd1
parent 137 9ce51e526b80
child 207 3732a5c036b3
--- a/build.py	Sat Oct 28 21:32:17 2006 +0200
+++ b/build.py	Mon Nov 06 14:23:58 2006 +0100
@@ -299,7 +299,11 @@
                     outfile.write('#endif /*' + config_file_guard + '*/\n')
                     config.Finish()
     def generate_dependencies(self):
-        env = Environment()
+        inheritenv = (ARGUMENTS.get('inheritenv', 'n') in 'yY1')
+        if inheritenv:
+            env = Environment(ENV=os.environ)
+        else:
+            env = Environment()
         self.gen_mod_config(env)
         cc = env['CC']
         cxx = env.subst(env['CXX'])