view tests/clean.sh @ 657:4c4389325ae4

Better RNG initialization

On platforms where it's available, use gettimeofday() and mix in the ~20
bits that that gives to the high (slowly-changing) bits of the seconds
since the Epoch.

#! /bin/sh

for file in [0-9][0-9][0-9][0-9]*; do
  if [ -d ${file} ]; then
    echo Cleaning ${file}
    rm -f ${file}/test*
    if [ -f ${file}/clean.sh ]; then
      (cd ${file} && sh ./clean.sh)
    fi
  fi
done