diff options
| -rw-r--r-- | bin/rndl.awk | 2 | ||||
| -rw-r--r-- | games/pks.awk | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/bin/rndl.awk b/bin/rndl.awk index f495a28c..8feb4f90 100644 --- a/bin/rndl.awk +++ b/bin/rndl.awk @@ -9,7 +9,7 @@ BEGIN { # Seed the random number generator "rnds 2>/dev/null" | getline seed if (length(seed)) - srand(seed) + srand(seed + 0) else srand() } diff --git a/games/pks.awk b/games/pks.awk index 028e471f..4c28625c 100644 --- a/games/pks.awk +++ b/games/pks.awk @@ -15,7 +15,7 @@ BEGIN { # Seed the random number generator "rnds 2>/dev/null" | getline seed if (length(seed)) - srand(seed) + srand(seed + 0) else srand() } |