projects
/
mkws-moved-to-github.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
a89f706
)
Add extra line to "make help" output, for slow Internet connections:
author
Mike Taylor
<mike@indexdata.com>
Mon, 22 Sep 2014 12:55:34 +0000
(14:55 +0200)
committer
Mike Taylor
<mike@indexdata.com>
Mon, 22 Sep 2014 12:55:34 +0000
(14:55 +0200)
If 'make check' timeout is too short, extend with: make check PHANTOMJS_TIMEOUT=40
Makefile
patch
|
blob
|
history
diff --git
a/Makefile
b/Makefile
index
dc14855
..
ebcb40d
100644
(file)
--- a/
Makefile
+++ b/
Makefile
@@
-25,4
+25,5
@@
check: setup check-js phantomjs
help:
@echo "make [ all | setup | clean | distclean ]"
@echo " [ check | check-js | phantomjs ]"
+ @echo "If 'make check' timeout is too short, extend with: make check PHANTOMJS_TIMEOUT=40"