diff options
Diffstat (limited to 'editor/pnmflip')
-rwxr-xr-x | editor/pnmflip | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editor/pnmflip b/editor/pnmflip index 6149aaa2..44d95b45 100755 --- a/editor/pnmflip +++ b/editor/pnmflip @@ -57,6 +57,7 @@ foreach (@ARGV) { if (defined($infile)) { print(STDERR "You may specify at most one non-option parameter.\n"); + exit(10); } else { $infile = $_; } |