changeset 5429:b3782861ff7e

bin/gub: log cleaned environment.
author Jan Nieuwenhuizen <janneke@gnu.org>
date Mon, 27 Jul 2009 12:30:04 +0200
parents 9a582cfc2e9f
children 6728f17b4306
files bin/gub
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/bin/gub	Mon Jul 27 12:29:51 2009 +0200
+++ b/bin/gub	Mon Jul 27 12:30:04 2009 +0200
@@ -333,6 +333,7 @@
 
     logging.default_logger.threshold = options.verbosity
     logging.info ('files: %(files)s\n' % locals ())
+    logging.info ('CLEANED env: ' + str (os.environ))
 
     if not options.platform and len (files):
         options.platform, x = misc.split_platform (files[0])