From aae53e215678690df2fc857f05c9d409b6276104 Mon Sep 17 00:00:00 2001 From: Mark Andrews Date: Tue, 24 Aug 2021 14:08:10 +1000 Subject: [PATCH] handle not configured with trailing flags --- doc/misc/format-options.pl | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/misc/format-options.pl b/doc/misc/format-options.pl index fa1727b22f..af21225bf3 100644 --- a/doc/misc/format-options.pl +++ b/doc/misc/format-options.pl @@ -30,6 +30,7 @@ while (<>) { m!^( *)!; my $indent = $1; my $comment = ""; + $line =~ s! // not configured,! //! if $strip_not_configured; $line =~ s! // not configured!! if $strip_not_configured; if ( $line =~ m!//.*! ) { $comment = $&;