#!/bin/sh export TESTMAKE if [ ! "$TESTMAKE" ] ; then TESTMAKE=make fi echo 'You should be able to kill this script with just one SIGINT' echo 'Problematic shell/make - Kombinations will enter make a second time' set -x $TESTMAKE -s -f Makefile1 $TESTMAKE -s -f Makefile1
