Release 1.3.

[cdecl99.git] / testsuite.at

diff --git a/testsuite.at b/testsuite.at
index 328f4273654c0c65366879cf0b21e0028ea1ff12..f47ad86d640e860a904eb50641aef1982c5cf99e 100644 (file)
--- a/testsuite.at
+++ b/testsuite.at
@@ -30,7 +30,8 @@ m4_divert_pop([PREPARE_TESTS])
 AT_ARG_OPTION_ARG([random-seed],
   [AS_HELP_STRING([--random-seed=ARG],
     [Integer seed for randomized testing (default: auto)])],
-  [random_seed=$at_optarg], [random_seed=$RANDOM$$])
+  [random_seed=$at_optarg],
+  [random_seed=`echo $RANDOM$$ | sed 's/\(........\).*/\1/'`])#'
 
 AT_ARG_OPTION_ARG([random-iterations],
   [AS_HELP_STRING([--random-iterations=N],