scripts/ciconfig.pl: show used options not available

diff --git a/scripts/ciconfig.pl b/scripts/ciconfig.pl
index b74bc9529f5fe547e1c32feec82d640fd82020f8..0d235b71b74e3736bdc2b8805c8d01b26b3932d5 100755 (executable)
--- 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;
+    }
+}