Use headers defined in the C[++] standards:

[fw/sdcc] / sim / ucsim / mkecho

#!/bin/sh
if [ -f ${1}/devel ]; then
        shift
        echo "$@"
fi