1#!/bin/sh
2# bash is used in various headers so we need a wrapper to invoke sh
3# instead.
4exec sh "$@"
5