diff options
author | Arnold D. Robbins <arnold@skeeve.com> | 2014-06-03 16:44:09 +0300 |
---|---|---|
committer | Arnold D. Robbins <arnold@skeeve.com> | 2014-06-03 16:44:09 +0300 |
commit | 337e1e6b1c142c2b800d316e477973d29c0659a1 (patch) | |
tree | e16550a3275309abdec16c0d31a2ea0d064274c7 /awklib/eg/prog/alarm.awk | |
parent | 757ab2b5d36d3c468022b64acfc696859679107f (diff) | |
parent | daf5b0c87115b6793c5ac6568009916d4be3152b (diff) | |
download | egawk-337e1e6b1c142c2b800d316e477973d29c0659a1.tar.gz egawk-337e1e6b1c142c2b800d316e477973d29c0659a1.tar.bz2 egawk-337e1e6b1c142c2b800d316e477973d29c0659a1.zip |
Merge branch 'gawk-4.1-stable'
Diffstat (limited to 'awklib/eg/prog/alarm.awk')
-rw-r--r-- | awklib/eg/prog/alarm.awk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/awklib/eg/prog/alarm.awk b/awklib/eg/prog/alarm.awk index 9bb1633c..63cf64a4 100644 --- a/awklib/eg/prog/alarm.awk +++ b/awklib/eg/prog/alarm.awk @@ -71,7 +71,7 @@ BEGIN \ # how long to sleep for naptime = target - current if (naptime <= 0) { - print "time is in the past!" > "/dev/stderr" + print "alarm: time is in the past!" > "/dev/stderr" exit 1 } # zzzzzz..... go away if interrupted |