#!/bin/csh
again:
  driver $1 >&! ../log/driver
goto again
