diff options
| -rw-r--r-- | scripts/build/companion_libs/cloog.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/build/companion_libs/cloog.sh b/scripts/build/companion_libs/cloog.sh index a0dbef89..d8eca873 100644 --- a/scripts/build/companion_libs/cloog.sh +++ b/scripts/build/companion_libs/cloog.sh @@ -29,6 +29,9 @@ do_cloog_extract() { esac 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 + fi CT_Popd } |