diff options
Diffstat (limited to 'bin')
-rw-r--r-- | bin/rndi.awk | 4 |
1 files changed, 2 insertions, 2 deletions
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" |