nitlanguage
/
nit.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
combined
(merge:
8176583
58761e8
)
Merge: check_contrib: filter-out contrib/nitc when checking Makefile of projects
author
Jean Privat
<jean@pryen.org>
Fri, 11 Dec 2015 00:31:31 +0000
(19:31 -0500)
committer
Jean Privat
<jean@pryen.org>
Fri, 11 Dec 2015 00:31:31 +0000
(19:31 -0500)
src/Makefile is already executed at the begin of the tests, so a double execution is mostly useless and time-expensive.
Pull-Request: #1888
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Trivial merge