diff --git a/scripts/configure b/scripts/configure index 6edacce5..47fcb789 100755 --- a/scripts/configure +++ b/scripts/configure @@ -9286,6 +9286,10 @@ fi + + + +