#! /bin/sh
# This file is a placeholder to be replaced by machine-specific preconditions
exit 0
