diff options
| author | Jérémy Zurcher <jeremy@asynk.ch> | 2012-01-23 14:56:08 +0100 |
|---|---|---|
| committer | Jérémy Zurcher <jeremy@asynk.ch> | 2012-01-23 14:56:08 +0100 |
| commit | f18e6072e02ae829498b78712bf15c6b0aedd67c (patch) | |
| tree | adb5e9bc8fb5ff84c7bb5663e69fd3c9697eff20 | |
| parent | 4a03b29a5f3fade01fa2c9f46311a7ad0c990f2d (diff) | |
| download | bin-f18e6072e02ae829498b78712bf15c6b0aedd67c.zip bin-f18e6072e02ae829498b78712bf15c6b0aedd67c.tar.gz | |
easy_e17.sh: rm config.cache if exists on --clean
| -rwxr-xr-x | easy_e17.sh | 1 |
1 files changed, 1 insertions, 0 deletions
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 |