diff --git a/src/CTestConfig.cmake b/src/CTestConfig.cmake index 7532ba40e5..7e827c9373 100644 --- a/src/CTestConfig.cmake +++ b/src/CTestConfig.cmake @@ -19,7 +19,7 @@ set(MEMORYCHECK_COMMAND_OPTIONS "-q --tool=memcheck --leak-check=yes --workaroun set(CTEST_DROP_METHOD "http") set(CTEST_DROP_SITE "borel.modck.cs.cmu.edu") -set(CTEST_DROP_LOCATION "/CDash-2-0-2/submit.php?project=Lean") +set(CTEST_DROP_LOCATION "/CDash/submit.php?project=Lean") set(CTEST_DROP_SITE_CDASH TRUE) set(UPDATE_COMMAND "git")