From d8515c80264d5310c6a0bd12f5b0d466983d95f9 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Mon, 9 Jun 2014 09:14:09 +0000
Subject: [PATCH]

---
 utils/nightly/gmsh_linux64_coverage.ctest | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/utils/nightly/gmsh_linux64_coverage.ctest b/utils/nightly/gmsh_linux64_coverage.ctest
index 6b9d8fdc5e..644ccc8cf4 100644
--- a/utils/nightly/gmsh_linux64_coverage.ctest
+++ b/utils/nightly/gmsh_linux64_coverage.ctest
@@ -4,11 +4,9 @@
 # bugs and problems to the public mailing list <gmsh@geuz.org>.
 
 set(CTEST_CMAKE_COMMAND "/usr/bin/cmake")
-set(CTEST_BINARY_DIRECTORY "$ENV{HOME}/src/gmsh/bin")
+set(CTEST_BINARY_DIRECTORY "$ENV{HOME}/src/gmsh/bin_coverage")
 set(CTEST_CMAKE_GENERATOR "Unix Makefiles")
 
-set(WEB_BIN "geuzaine@geuz.org:/home/www/geuz.org/gmsh/bin/Linux")
-
 set(WITH_TEST TRUE)      # run the tests?
 set(WITH_COVERAGE TRUE) # check code coverage?
 set(WITH_MEMCHECK FALSE) # check memory with valgrind?
-- 
GitLab