Use the filename, not the pathname, in the definitions file

jackjansen · jackjansen · commit d67566b0f09d · 2001-02-27T11:04:20.000Z
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
@@ -392,7 +392,7 @@ def scan(self):
 			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:
