X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Frandom.sh;h=1d8b05e729a48a179c7a9c5930d69b03c3e13f1c;hb=1339492699ce7e12c9bf9fa17f9d60a66024cbd1;hp=52393f43a430eb2f575ede98303038471d38ddcd;hpb=b7852df2743416201dc85fd672644799cdd1b7b5;p=pspp diff --git a/tests/bugs/random.sh b/tests/bugs/random.sh index 52393f43a4..1d8b05e729 100755 --- a/tests/bugs/random.sh +++ b/tests/bugs/random.sh @@ -52,7 +52,7 @@ cat > $TESTFILE <