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\.