update build at startup
authorBarış Metin <Talip-Baris.Metin@sophia.inria.fr>
Tue, 15 Jun 2010 14:01:04 +0000 (16:01 +0200)
committerBarış Metin <Talip-Baris.Metin@sophia.inria.fr>
Tue, 15 Jun 2010 14:01:04 +0000 (16:01 +0200)
module-tools.py

index 319346f..a6605d2 100755 (executable)
@@ -484,9 +484,7 @@ that for other purposes than tagging""" % options.workdir
             print "Checking ...",
             remote = cls.git_remote_dir(cls.config['build'])
             local = os.path.join(options.workdir, cls.config['build'])
-            build = GitRepository.checkout(remote, local, options, depth=1)
-            if not build.is_clean():
-                build.revert()
+            GitRepository.checkout(remote, local, options, depth=1)
             print "OK"
             
             # store config
@@ -511,6 +509,7 @@ that for other purposes than tagging""" % options.workdir
                 print "build module needs a revert"
                 build.revert()
                 print "OK"
+            build.update()
 
         if options.verbose and options.mode not in Main.silent_modes:
             print '******** Using config'