diff options
| author | Jack Jansen <jack.jansen@cwi.nl> | 2001-02-27 11:04:20 (GMT) |
|---|---|---|
| committer | Jack Jansen <jack.jansen@cwi.nl> | 2001-02-27 11:04:20 (GMT) |
| commit | d67566b0f09d0d3064dbadc40f6cf9634b608a6c (patch) | |
| tree | 9f4eee42e6c24a9bc03163ded468f7cd446a6b3b /Tools | |
| parent | e99bd17ed6ffbb7a6deee9b80b83ce6a9e4e8b10 (diff) | |
| download | cpython-d67566b0f09d0d3064dbadc40f6cf9634b608a6c.zip cpython-d67566b0f09d0d3064dbadc40f6cf9634b608a6c.tar.gz cpython-d67566b0f09d0d3064dbadc40f6cf9634b608a6c.tar.bz2 | |
Use the filename, not the pathname, in the definitions file
comment. This way the generated files are identical when generated on
different machines.
Diffstat (limited to 'Tools')
| -rw-r--r-- | Tools/bgen/bgen/scantools.py | 2 |
1 files changed, 1 insertions, 1 deletions
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 @@ 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: |