From f18e6072e02ae829498b78712bf15c6b0aedd67c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=A9r=C3=A9my=20Zurcher?= Date: Mon, 23 Jan 2012 14:56:08 +0100 Subject: easy_e17.sh: rm config.cache if exists on --clean --- easy_e17.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/easy_e17.sh b/easy_e17.sh index 454d438..7b160da 100755 --- a/easy_e17.sh +++ b/easy_e17.sh @@ -1044,6 +1044,7 @@ function compile () package_make_only=$make_only parse_package_args if [ $package_clean -ge 1 ]; then + [ -e config.cache ] && rm config.cache if [ -e "CMakeLists.txt" ]; then if [ $package_clean -eq 1 ]; then cd $cmake_build_dir -- cgit v1.1-2-g2b99