LCI run GDT before committing the snapshot

git-svn-id: https://slps.svn.sourceforge.net/svnroot/slps@242 ab42f6e0-554d-0410-b580-99e487e6eeb2
grammarware · Sep 10, 2008 · e7412c6 · e7412c6
1 parent 71003ac
commit e7412c6
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/topics/convergence/lci/lci.py b/topics/convergence/lci/lci.py
@@ -250,7 +250,13 @@ def extractall():
     problem = True
    #sysexit(3)
   else:
-   copyfile('bgf/'+bgf+'.bgf','snapshot/'+bgf+'.bgf')
+   run = tools['comparison'] + ' bgf/'+bgf+'.bgf snapshot/'+bgf+'.bgf'
+   logwrite(run)
+   if os.system(run+shutup):
+    # different from the saved version
+    print 'Extracted a newer version of',bgf
+    copyfile('bgf/'+bgf+'.bgf','snapshot/'+bgf+'.bgf')
+    logwrite('cp bgf/'+bgf+'.bgf snapshot/'+bgf+'.bgf')
  print 'Extraction finished.'
 
 def validateall():