#!/bin/sh # Runs make and tries again on the parent directories if no Makefile was found # 2006, Wouter Bolsterlee makeup() { if [ -f Makefile ]; then make $* else if [ "$PWD" == "/" ]; then make -f /dev/null # force an error exit 1; fi; cd .. makeup $* fi; } makeup $*