Replace make by $(MAKE)
This commit is contained in:
1 parent
f93e7a0531
commit
d8c0c496d7
1 file changed
+5
-5
@@ -8,16 +8,16 @@ all:
|
|||||||
test: check
|
test: check
|
||||||
|
|
||||||
check:
|
check:
|
||||||
cd tests && make check
|
cd tests && $(MAKE) check
|
||||||
cd example && make examples
|
cd example && $(MAKE) examples
|
||||||
|
|
||||||
doc: README.md
|
doc: README.md
|
||||||
markdown < README.md > README.html
|
markdown < README.md > README.html
|
||||||
|
|
||||||
clean:
|
clean:
|
||||||
cd tests && make clean
|
cd tests && $(MAKE) clean
|
||||||
cd example && make clean
|
cd example && $(MAKE) clean
|
||||||
cd bench && make clean
|
cd bench && $(MAKE) clean
|
||||||
$(RM) -f README.html
|
$(RM) -f README.html
|
||||||
|
|
||||||
install:
|
install:
|
||||||
|
|||||||
Reference in new issue
Block a user