diff options
Diffstat (limited to 'release/datafiles')
| -rwxr-xr-x | release/datafiles/datatoc.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/release/datafiles/datatoc.py b/release/datafiles/datatoc.py index 70bb348ad02..a78b64c5095 100755 --- a/release/datafiles/datatoc.py +++ b/release/datafiles/datatoc.py @@ -48,6 +48,7 @@ if filename[0] == ".": cname = filename + ".c" sys.stdout.write("Making C file <%s>\n" % cname) +filename = filename.split("/")[-1].split("\\")[-1] filename = filename.replace(".", "_") sys.stdout.write(str(size)) sys.stdout.write("\n") |