From d67566b0f09d0d3064dbadc40f6cf9634b608a6c Mon Sep 17 00:00:00 2001 From: Jack Jansen Date: Tue, 27 Feb 2001 11:04:20 +0000 Subject: [PATCH] Use the filename, not the pathname, in the definitions file comment. This way the generated files are identical when generated on different machines. --- Tools/bgen/bgen/scantools.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Tools/bgen/bgen/scantools.py b/Tools/bgen/bgen/scantools.py index 4dce73c8e8..0a3dd55354 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: -- 2.50.1