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