diff options
| -rw-r--r-- | tools/ccc/ccclib/Driver.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/ccc/ccclib/Driver.py b/tools/ccc/ccclib/Driver.py index c892c27458..0ee3c52d9a 100644 --- a/tools/ccc/ccclib/Driver.py +++ b/tools/ccc/ccclib/Driver.py @@ -304,7 +304,10 @@ class Driver(object): def printVersion(self): # FIXME: Print default target triple. - print >>sys.stderr,'ccc version 1.0 ($HeadURL$)' + vers = '$HeadURL$' + vers = vers.split('/tools/ccc')[0] + vers = ' (' + vers[10:] + ')' + print >>sys.stderr,'ccc version 1.0' + vers def handleImmediateOptions(self, args): # FIXME: Some driver Arguments are consumed right off the bat, |