diff options
-rw-r--r-- | VERSION | 4 | ||||
-rw-r--r-- | bin/rndi.awk | 4 |
2 files changed, 4 insertions, 4 deletions
@@ -1,2 +1,2 @@ -tejr dotfiles v1.77.0 -Thu Nov 22 22:59:40 UTC 2018 +tejr dotfiles v1.77.1 +Sat Nov 24 07:20:26 UTC 2018 diff --git a/bin/rndi.awk b/bin/rndi.awk index 7d5a5b96..02e0574f 100644 --- a/bin/rndi.awk +++ b/bin/rndi.awk @@ -13,8 +13,8 @@ BEGIN { # Floor args and check for sanity lower = int(ARGV[1] + 0) upper = int(ARGV[2] + 0) - if (lower >= upper) - fail("Bounds must be numeric, first lower than second") + if (upper < lower) + fail("Bounds must be numeric, first not greater than second") # Get a random seed if rnds(1df) available rnds = "rnds 2>/dev/null" |