Makefile
changeset 30 eed9f710ba3b
parent 28 ef929533d040
child 33 56571d34d754
equal deleted inserted replaced
29:08ec6ddd6eea 30:eed9f710ba3b
     1 MAKE=make --no-print-directory
     1 MAKE=make --no-print-directory
     2 CMAKE=cmake
     2 CMAKE=cmake
     3 RMDIR=rm -rf
     3 RMDIR=rm -rf
     4 RM=rm -f
     4 RM=rm -f
     5 
     5 
     6 ALL: build
     6 all: build
     7 
     7 
     8 build: build/Makefile
     8 build: build/Makefile
     9 	@$(MAKE) -C build
     9 	@$(MAKE) -C build
    10 
    10 
    11 prepare:
    11 prepare: