travis: use "run-dmake" to run dmake
This commit is contained in:
parent
4ac6623875
commit
600a866983
|
@ -88,6 +88,7 @@ script:
|
||||||
# check if Makefile needs to be regenerated
|
# check if Makefile needs to be regenerated
|
||||||
- git clean -dfx
|
- git clean -dfx
|
||||||
- make dmake
|
- make dmake
|
||||||
|
- make run-dmake
|
||||||
# now, if dmake modified the makefile, return false!
|
# now, if dmake modified the makefile, return false!
|
||||||
- git diff --exit-code
|
- git diff --exit-code
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue