Filename: ////bin/batch

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

./Ninja\.