diff -r f5dab3c43abf -r 42d702fd5dd1 scripts/build/companion_libs/cloog.sh
--- a/scripts/build/companion_libs/cloog.sh	Sun Apr 11 11:10:06 2010 +0200
+++ b/scripts/build/companion_libs/cloog.sh	Thu Jul 15 22:34:31 2010 +0200
@@ -29,7 +29,7 @@
         *)      _t="-${CT_CLOOG_VERSION}";;
     esac
     CT_Pushd "${CT_SRC_DIR}/cloog-ppl${_t}"
-    CT_Patch nochdir "cloog-ppl-${CT_CLOOG_VERSION}"
+    CT_Patch nochdir "cloog-ppl" "${CT_CLOOG_VERSION}"
     CT_Popd
 }