From: Tobias Markus <tobbi@mozilla-uk.org>
Date: Mon, 27 Oct 2014 09:51:32 +0000 (+0100)
Subject: Removing unneeded make directive
X-Git-Url: https://git.verplant.org/?a=commitdiff_plain;h=eae46edbc7f7b1f36b38f3627495999361c008ad;p=supertux.git

Removing unneeded make directive
---

diff --git a/.travis.yml b/.travis.yml
index 296c03efb..b1ecc4d70 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -46,13 +46,13 @@ script:
  # First a debug build:
 - mkdir build-debug
 - cd build-debug
-- cmake .. -DCMAKE_BUILD_TYPE=Debug -DCHECK_ASSETS=off
+- cmake .. -DCMAKE_BUILD_TYPE=Debug
 - make VERBOSE=1 -j $(nproc)
 # Then a release build:
 - cd ..
 - mkdir build-release
 - cd build-release
-- cmake .. -DCMAKE_BUILD_TYPE=Release -DCHECK_ASSETS=off
+- cmake .. -DCMAKE_BUILD_TYPE=Release
 - make VERBOSE=1 -j $(nproc)
 
 notifications: