run.sh: don't silently ignore a non-executable file argument
authorBrian Norris <banorris@uci.edu>
Wed, 10 Jul 2013 01:44:19 +0000 (18:44 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 10 Jul 2013 01:46:19 +0000 (18:46 -0700)
commit9e091f7017e3e22742b26f991f8f06bc2fb874f4
tree15c9b9e655d4d5124c7536f051281e6883dbec5f
parent91d6d898388c1f8de1669b0bd59bfe9a78f3cf6b
run.sh: don't silently ignore a non-executable file argument

If we use a file which exists but is not executable as an argument to
run.sh, run.sh will silently ignore it. This is wrong.

Instead, just check for existence of the file (or directory), and error
out with a "Permission denied" message later, when we try to run it.
run.sh