Makefile
changeset 53 ec1eec96e433
parent 52 c9401e6a62cb
equal deleted inserted replaced
52:c9401e6a62cb 53:ec1eec96e433
     1 MAKE=make --no-print-directory
     1 MAKE=make
     2 CMAKE=cmake
     2 CMAKE=cmake
     3 RMDIR=rm -rf
     3 RMDIR=rm -rf
     4 RM=rm -f
     4 RM=rm -f
       
     5 INDENT=indent
     5 
     6 
     6 all: build
     7 all: build
     7 
     8 
     8 build: build/Makefile
     9 build: build/Makefile
     9 	@$(MAKE) -C build
    10 	@$(MAKE) -C build
    31 
    32 
    32 install: build/Makefile
    33 install: build/Makefile
    33 	$(MAKE) -C build install
    34 	$(MAKE) -C build install
    34 
    35 
    35 beauty:
    36 beauty:
    36 	find . -name '*.[ch]' -exec indent {} \;
    37 	find . -name '*.[ch]' -exec $(INDENT) {} \;
    37 	find . -name '*.[ch]' -exec eraser {} \;
    38 	find . -name '*.[ch]' -exec eraser {} \;
    38 	find . -name '*~' -exec rm -f {} \;
    39 	find . -name '*~' -exec rm -f {} \;