--- ./configure.orig	2018-12-12 00:34:29.000000000 +0200
+++ ./configure	2019-04-06 10:34:29.156348000 +0200
@@ -4908,7 +4908,6 @@
     echo "Can't find boost headers. Please check the location of the boost"
     echo "distribution and rerun configure using the --with-boost=DIR option."
     echo "Alternatively, run with --without-boost to enable standalone build."
-    exit 1
 
 fi