#! /bin/sh -e if [ "$#" -gt 0 ]; then echo batch accepts no parameters exit 1 fi prefix=@prefix@ exec_prefix=@exec_prefix@ exec @bindir@/at -qb now