diff options
| -rw-r--r-- | scripts/build/companion_libs/cloog.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build/companion_libs/cloog.sh b/scripts/build/companion_libs/cloog.sh index f329fcb..5df12b0 100644 --- a/scripts/build/companion_libs/cloog.sh +++ b/scripts/build/companion_libs/cloog.sh @@ -30,7 +30,7 @@ do_cloog_extract() { CT_Pushd "${CT_SRC_DIR}/cloog-ppl${_t}" CT_Patch nochdir "cloog-ppl" "${CT_CLOOG_VERSION}" if [ "${CT_CLOOG_VERSION}" = "0.15.10" ]; then - ./autogen.sh + CT_DoExecLog CFG ./autogen.sh fi CT_Popd } |