aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2013-12-25 12:21:57 -0800
committerAlon Zakai <alonzakai@gmail.com>2013-12-25 12:21:57 -0800
commit2dc5962c8b15b90a4a76e2181b6f1cbfc6ef40f5 (patch)
tree1090610b2b1e9b2e64167788ef44e374a714759e
parentfda1fc2a3eb8f8de71d9fbe2d9459cadd4a93501 (diff)
better error on missing input files, fixes #1930
-rwxr-xr-xemcc2
1 files changed, 1 insertions, 1 deletions
diff --git a/emcc b/emcc
index 111093e2..0f4f8800 100755
--- a/emcc
+++ b/emcc
@@ -1065,7 +1065,7 @@ try:
if not arg.startswith('-'):
if not os.path.exists(arg):
- logging.error(arg + ': No such file or directory')
+ logging.error('%s: No such file or directory ("%s" was expected to be an input file, based on the commandline arguments provided)' % (arg, arg))
exit(1)
arg_ending = filename_type_ending(arg)