Use the filename, not the pathname, in the definitions file
comment. This way the generated files are identical when generated on
different machines.
diff --git a/Tools/bgen/bgen/scantools.py b/Tools/bgen/bgen/scantools.py
index 4dce73c..0a3dd55 100644
--- a/Tools/bgen/bgen/scantools.py
+++ b/Tools/bgen/bgen/scantools.py
@@ -392,7 +392,7 @@
self.report("(No symbol definitions will be written)")
else:
self.report("defsfile = %s", `self.defsfile.name`)
- self.defsfile.write("# Generated from %s\n\n" % `inputname`)
+ self.defsfile.write("# Generated from %s\n\n" % `os.path.split(inputname)[1]`)
self.writeinitialdefs()
self.alreadydone = []
try: