diff options
| -rwxr-xr-x | tools/runlex.sh | 2 | ||||
| -rwxr-xr-x | wiretap/runlex.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/tools/runlex.sh b/tools/runlex.sh index c70c46eeed..e08dae0860 100755 --- a/tools/runlex.sh +++ b/tools/runlex.sh @@ -107,7 +107,7 @@ fi # Is the outfile where we think it is? # outfile_base=`basename "$outfile"` -if [ "$outfile_base" != "$outfile" -a ! -e "$outfile" -a -e "$outfile_base" ] +if [ "$outfile_base" != "$outfile" -a \( ! -r "$outfile" \) -a -r "$outfile_base" ] then # # No, it's not, but it is in the current directory. Put it diff --git a/wiretap/runlex.sh b/wiretap/runlex.sh index c70c46eeed..e08dae0860 100755 --- a/wiretap/runlex.sh +++ b/wiretap/runlex.sh @@ -107,7 +107,7 @@ fi # Is the outfile where we think it is? # outfile_base=`basename "$outfile"` -if [ "$outfile_base" != "$outfile" -a ! -e "$outfile" -a -e "$outfile_base" ] +if [ "$outfile_base" != "$outfile" -a \( ! -r "$outfile" \) -a -r "$outfile_base" ] then # # No, it's not, but it is in the current directory. Put it |