travis: fail if Makefile is not up to date (check via dmake).
This commit is contained in:
parent
e049a44f63
commit
73b7276ae9
|
@ -53,6 +53,12 @@ script:
|
||||||
- ./tools/test_showtimetop5.sh
|
- ./tools/test_showtimetop5.sh
|
||||||
# check the files in cgf dir with xmllint
|
# check the files in cgf dir with xmllint
|
||||||
- xmllint --noout cfg/*
|
- xmllint --noout cfg/*
|
||||||
|
# check if Makefile needs to be regenerated
|
||||||
|
- git clean -dfx
|
||||||
|
- make dmake
|
||||||
|
- ./dmake
|
||||||
|
# now, if dmake modified the makefile, return false!
|
||||||
|
- git diff --exit-code
|
||||||
notifications:
|
notifications:
|
||||||
irc:
|
irc:
|
||||||
channels:
|
channels:
|
||||||
|
|
Loading…
Reference in New Issue