diff --git a/sci-mathematics/why3/why3-1.3.3.ebuild b/sci-mathematics/why3/why3-1.3.3.ebuild
index efe7c0d1a1..75f796891b 100644
--- a/sci-mathematics/why3/why3-1.3.3.ebuild
+++ b/sci-mathematics/why3/why3-1.3.3.ebuild
@@ -70,7 +70,7 @@ src_compile() {
 
 src_install(){
 	findlib_src_preinst
-	emake install install-lib DESTDIR="${ED}" || die "make failed"
+	emake install install-lib DESTDIR="${ED}"
 
 	doman doc/why3.1
 	einstalldocs
diff --git a/sci-mathematics/why3/why3-1.4.0.ebuild b/sci-mathematics/why3/why3-1.4.0.ebuild
index 0c41a284ed..9174013f33 100644
--- a/sci-mathematics/why3/why3-1.4.0.ebuild
+++ b/sci-mathematics/why3/why3-1.4.0.ebuild
@@ -74,7 +74,7 @@ src_compile() {
 
 src_install(){
 	findlib_src_preinst
-	emake install install-lib DESTDIR="${ED}" || die "make failed"
+	emake install install-lib DESTDIR="${ED}"
 
 	einstalldocs
 	docompress -x /usr/share/doc/${PF}/examples