# HG changeset patch
# User Bernhard Urban <bernhard.urban@jku.at>
# Date 1398698565 -7200
# Node ID 5947bb02474f9f1206864344a7997062c2c260f4
# Parent  f093fa76e872c60cf56e3af0247c18491f51ed34
mx export: change the way of marking a repo as dirty

diff -r f093fa76e872 -r 5947bb02474f mx/mx_graal.py
--- a/mx/mx_graal.py	Tue Apr 29 14:26:39 2014 +0200
+++ b/mx/mx_graal.py	Mon Apr 28 17:22:45 2014 +0200
@@ -163,7 +163,7 @@
         rmIfExists(mx.distribution('GRAAL').path)
 
 def export(args):
-    """create archives of builds splitted by vmbuild and vm"""
+    """create archives of builds split by vmbuild and vm"""
 
     parser = ArgumentParser(prog='mx export')
     args = parser.parse_args(args)
@@ -174,8 +174,7 @@
 
     hgcfg = mx.HgConfig()
     hgcfg.check()
-    infos['revision'] = hgcfg.tip('.')
-    infos['revision_dirty'] = hgcfg.isDirty('.')
+    infos['revision'] = hgcfg.tip('.') + ('+' if hgcfg.isDirty('.') else '')
     # TODO: infos['repository']
 
     infos['jdkversion'] = str(mx.java().version)