diff options
Diffstat (limited to 'release/datafiles/datatoc.py')
-rwxr-xr-x | release/datafiles/datatoc.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/release/datafiles/datatoc.py b/release/datafiles/datatoc.py index 7ad96440222..564070dcf9f 100755 --- a/release/datafiles/datatoc.py +++ b/release/datafiles/datatoc.py @@ -45,8 +45,8 @@ fpin.seek(0, os.SEEK_END) size = fpin.tell() fpin.seek(0) -if filename[0] == ".": - filename = filename[1:] +if filename[0:2] == "." + os.sep: + filename = filename[2:] cname = filename + ".c" sys.stdout.write("Making C file <%s>\n" % cname) |