From: Jack Jansen <jack.jansen@cwi.nl>
Date: Tue, 27 Feb 2001 11:04:20 +0000 (+0000)
Subject: Use the filename, not the pathname, in the definitions file
X-Git-Tag: v2.1b1~183
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=d67566b0f09d0d3064dbadc40f6cf9634b608a6c;p=thirdparty%2FPython%2Fcpython.git

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 4dce73c8e8cc..0a3dd5535422 100644
--- 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: