#!/bin/sh DIRECTORY="results" PHP="/usr/local/bin/php" # /usr/local/php4/bin/php if [ "X$1" != "X" ]; then PHP=$1 fi if [ "X$2" != "X" ]; then DIRECTORY=$2 fi echo "Processing $DIRECTORY" touch coverage.txt rm coverage.txt INDEX="index-$DIRECTORY.html" echo "
" > $INDEX for source in tests/*.conf; do destination=`basename $source` destination="$DIRECTORY/${destination}.png" echo -n "$source -> $destination" echo "