#!/bin/sh [ -n "$MAKE" ] || MAKE=make SED_COMMAND="sed -f `dirname $0`/substitutions.sed" SED_EXTRA= case $1 in *Makefile*.in) if ${MAKE} --version 2>&1 | fgrep -q "GNU Make" then SED_EXTRA="-e s/\$>/$^/g" fi ;; esac $SED_COMMAND $SED_EXTRA $1 > $2
