remove source-dist branch

This commit is contained in:
Marc Haber 2006-01-20 18:48:40 +00:00
commit 27dcec3fa7
416 changed files with 128456 additions and 0 deletions

16
config_test/run_tests Executable file
View file

@ -0,0 +1,16 @@
#!/bin/ksh
i=0
success=0
fail=0
while [[ $i -lt $1 ]] ; do
./child_test
if [[ $? -eq 0 ]] ; then
success=$(($success+1))
else
fail=$((fail+1))
fi
i=$(($i+1))
done
print "Success=$success Fail=$fail"
[[ $fail -gt 0 ]] && exit 1