#!/bin/csh
again:
 driver.te config.te >&! log
goto again
