# HG changeset patch # User Markus Bröker # Date 1268135907 -3600 # Node ID 50ba3b0e271a66d2a114587935d2814f530ae542 # Parent fef2ccfa7b1276d1edc631ed7898be01f8b98fc8 GNU Make and GNU Indent The Makefile depends on GNU tools and the user may choose the location committer: Markus Bröker diff --git a/Makefile b/Makefile --- a/Makefile +++ b/Makefile @@ -5,6 +5,9 @@ LDFLAGS = -L/usr/lib RM = rm -f FIND = find + MAKE = make + INDENT = indent + ERASER = eraser ifeq ("$(PROFILER)", "linux") PROF = -fprofile-arcs -ftest-coverage -pg @@ -351,9 +354,9 @@ beauty: ifdef FIND - $(FIND) . -name '*.[ch]' -exec indent {} \; - $(FIND) . -name '*.[ch]' -exec eraser {} \; - $(FIND) . -name '*.java' -exec eraser {} \; - $(FIND) . -name 'Makefile*' -exec eraser {} \; + $(FIND) . -name '*.[ch]' -exec $(INDENT) {} \; + $(FIND) . -name '*.[ch]' -exec $(ERASER) {} \; + $(FIND) . -name '*.java' -exec $(ERASER) {} \; + $(FIND) . -name 'Makefile*' -exec $(ERASER) {} \; endif - @make clean + @$(MAKE) clean