changeset 3810:c01bfa4351b5

Also show stage when running one --stage.
author Jan Nieuwenhuizen <janneke@gnu.org>
date Wed, 12 Sep 2007 14:34:09 +0200
parents 5d09f54caf41
children 5f64757e84ad
files gub/builder.py
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/gub/builder.py	Wed Sep 12 09:14:07 2007 +0200
+++ b/gub/builder.py	Wed Sep 12 14:34:09 2007 +0200
@@ -79,6 +79,9 @@
         import inspect
         available = dict (inspect.getmembers (spec, callable))
         if self.settings.options.stage:
+            spec.os_interface.stage (' *** Stage: %s (%s)\n'
+                                     % (self.settings.options.stage,
+                                        spec.name ()))
             (available[self.settings.options.stage]) ()
             return