From: Martin Quinson <martin.quinson@loria.fr>
Date: Mon, 23 Apr 2018 21:29:06 +0000 (+0200)
Subject: jenkins: try to disable CMAKE_DISABLE_SOURCE_CHANGES=ON on CMake 3.11
X-Git-Tag: v3.20~332
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/905103cd39c5edeb095e77f65a18695ac81f38dd?hp=905103cd39c5edeb095e77f65a18695ac81f38dd

jenkins: try to disable CMAKE_DISABLE_SOURCE_CHANGES=ON on CMake 3.11
---