diff --git a/scripts/ciconfig.pl b/scripts/ciconfig.pl index b74bc9529f..0d235b71b7 100755 --- a/scripts/ciconfig.pl +++ b/scripts/ciconfig.pl @@ -174,3 +174,11 @@ for my $w (sort keys %avail) { printf " %s\n", $w; } } + + +print "ENABLED configure options that aren't available\n"; +for my $w (sort keys %with) { + if(!$avail{$w}) { + printf " %s\n", $w; + } +}