#!/bin/sh
# Do nothing, as portably and quietly as possible!

exit 0
