Fix git commit id

This commit is contained in:
Guilhem Lavaux 2022-06-17 19:31:04 +02:00
parent d0dc04eae7
commit 5892ce7738

View file

@ -10,7 +10,7 @@ ENDIF()
#v1.0.0a7.tar.bz2
ExternalProject_Add(cosmotool
URL https://bitbucket.org/glavaux/cosmotool/get/59bb9e.tar.gz
URL https://bitbucket.org/glavaux/cosmotool/get/59bb99e.tar.gz
DEPENDS ${cosmotool_DEPS}
SOURCE_DIR ${COSMOTOOL_DIR}
PREFIX ${BUILD_PREFIX}/cosmotool-prefix