diff options
Diffstat (limited to 'sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild')
| -rw-r--r-- | sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild index 8f82a9c4bb89..7b658828da45 100644 --- a/sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild +++ b/sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild @@ -100,8 +100,10 @@ src_install() { dosym ../why3server ${cmdPath}/why3server # Remove duplicated files for filename in config ide realize server session; do - rm "${D}"${cmdPath}/why3${filename} - dosym ../../../bin/why3${filename} ${cmdPath}/why3${filename} + if [[ -e "${D}"${cmdPath}/why3${filename} ]]; then + rm "${D}"${cmdPath}/why3${filename} + dosym ../../../bin/why3${filename} ${cmdPath}/why3${filename} + fi done rm "${D}"/usr/$(get_libdir)/why3/why3cpulimit dosym ../../bin/why3cpulimit /usr/$(get_libdir)/why3/why3cpulimit |