| Index: tools/js2c.py
|
| diff --git a/tools/js2c.py b/tools/js2c.py
|
| index 924ad7336bade9cc377355ac51c437244f6e7693..243f5dd58e20eb6ba04bab6970af53a915aaa459 100755
|
| --- a/tools/js2c.py
|
| +++ b/tools/js2c.py
|
| @@ -441,10 +441,10 @@ def PrepareSources(source_files, extra_files, emit_js):
|
| try:
|
| lines = extra_filters(extra)
|
| except Error as e:
|
| - raise Error("In file %s:\n%s" % (source, str(e)))
|
| + raise Error("In file %s:\n%s" % (extra, str(e)))
|
|
|
| result.modules.append(lines)
|
| - name = os.path.basename(source)[:-3]
|
| + name = os.path.basename(extra)[:-3]
|
| result.names.append(name)
|
|
|
| return result
|
|
|