From 600a866983bd9999f8a9b9266d71079a27cb6483 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Matthias=20Kr=C3=BCger?= Date: Wed, 7 Oct 2015 23:52:39 +0200 Subject: [PATCH] travis: use "run-dmake" to run dmake --- .travis.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.travis.yml b/.travis.yml index eac839f6e..abd0d36bf 100644 --- a/.travis.yml +++ b/.travis.yml @@ -88,6 +88,7 @@ script: # check if Makefile needs to be regenerated - git clean -dfx - make dmake + - make run-dmake # now, if dmake modified the makefile, return false! - git diff --exit-code