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