diff options
Diffstat (limited to 'test/exitval1.awk')
-rw-r--r-- | test/exitval1.awk | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/exitval1.awk b/test/exitval1.awk new file mode 100644 index 00000000..550200d2 --- /dev/null +++ b/test/exitval1.awk @@ -0,0 +1,3 @@ +# This should exit 0, even though child exits 1 +BEGIN { "exit 1" | getline junk ; exit 12 } +END { exit 0 } |