Fetch Catch from our own clone, instead of the github one.

Avoids: - Relying on github’s services - Fetching a new (malicious) version, automatically, without any “check”
2016-03-24 10:06:02 +01:00
parent 55d1d81771
commit 14930284a7
1 changed files with 1 additions and 1 deletions
@@ -179,7 +179,7 @@ endif()

 include(ExternalProject)
 ExternalProject_Add(catch
-  GIT_REPOSITORY "https://github.com/philsquared/Catch.git"
+  GIT_REPOSITORY "https://lab.louiz.org/louiz/Catch.git"
  PREFIX "external"
  UPDATE_COMMAND ""
  CONFIGURE_COMMAND ""