From 2cc524a1c6aa7af22e4c68232c5d6206c70ded4e Mon Sep 17 00:00:00 2001
From: Peter Powell <petpow@saberuk.com>
Date: Sat, 11 May 2019 15:55:14 +0100
Subject: Add a configure flag for disabling automatically enabling extras.

Requested by @niacat.
---
 configure | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'configure')

diff --git a/configure b/configure
index 269d1927f..26f8146e7 100755
--- a/configure
+++ b/configure
@@ -52,6 +52,7 @@ my ($opt_binary_dir,
     $opt_config_dir,
     $opt_data_dir,
     $opt_development,
+    $opt_disable_auto_extras,
     $opt_disable_interactive,
     $opt_distribution_label,
     $opt_gid,
@@ -80,6 +81,7 @@ GetOptions(
 
 	'development'          => \$opt_development,
 	'disable-interactive'  => \$opt_disable_interactive,
+	'disable-auto-extras'  => \$opt_disable_auto_extras,
 	'distribution-label=s' => \$opt_distribution_label,
 	'binary-dir=s'         => \$opt_binary_dir,
 	'config-dir=s'         => \$opt_config_dir,
@@ -117,6 +119,7 @@ our $interactive = !(
 	defined $opt_config_dir ||
 	defined $opt_data_dir ||
 	defined $opt_development ||
+	defined $opt_disable_auto_extras ||
 	defined $opt_disable_interactive ||
 	defined $opt_distribution_label ||
 	defined $opt_gid ||
@@ -321,7 +324,7 @@ if (prompt_bool $interactive, $question, 0) {
 			enable_extras "$module_name.cpp";
 		}
 	}
-} else {
+} elsif (!defined $opt_disable_auto_extras) {
 	# TODO: finish modulemanager rewrite and replace this code with:
 	# system './modulemanager', 'enable', '--auto';
 	my %modules = (
-- 
cgit v1.2.3