#! /bin/sh
#
# Do-nothing script
#
exit 0
