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 4dce73c8e8cccf2482bcf2f9f8698c268d68fd95..0a3dd55354224c7fdf4558c2d0bba80d2af79175 100644 (file)
--- a/Tools/bgen/bgen/scantools.py
+++ b/Tools/bgen/bgen/scantools.py
@@ -392,7 +392,7 @@ if missing: raise "Missing Types"
                        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: