[jhbuild: 24/27] [config] fix compatibility behaviour of nobuild

[Frederic Peters <fpeters src gnome org>]

commit 7bb72678c15311ee362f7ee945e945befaf501fe
Author: Frédéric Péters <fpeters 0d be>
Date:   Sat May 16 15:25:53 2009 +0200

    [config] fix compatibility behaviour of nobuild
---
 jhbuild/config.py |    7 +++++--
 1 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/jhbuild/config.py b/jhbuild/config.py
index 002c74c..aab4cbe 100644
--- a/jhbuild/config.py
+++ b/jhbuild/config.py
@@ -349,9 +349,12 @@ class Config:
         if self.makeclean and not 'clean' in self.build_targets:
             self.build_targets.insert(0, 'clean')
         if self.nobuild:
+            # nobuild actually means "checkout"
+            for phase in ('configure', 'build', 'check', 'clean', 'install'):
+                if phase in self.build_targets:
+                    self.build_targets.remove(phase)
             self.build_targets.remove('install')
-            if len(self.build_targets) == 0:
-                self.build_targets = ['checkout']
+            self.build_targets.append('checkout')
         if self.makedist and not 'dist' in self.build_targets:
             self.build_targets.append('dist')
         if self.makedistcheck and not 'distcheck' in self.build_targets: