#!/bin/sh if [ -f Makefile -o -f makefile -o -f GNUmakefile ]; then make "$@" exit $? fi cat <