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 = $_;
         }