Ignore -kk flags

git-svn-id: https://svn.dealii.org/trunk@5669 0785d39b-7218-0410-832d-ea1e28bc413d

diff --git a/deal.II/common/scripts/status.pl b/deal.II/common/scripts/status.pl
index 2c922c4f217d5941b31e2f593e90f5fa03bc6ece..8a0e3e107abddd5269e6b1b8cb55ebbca9de4646 100644 (file)
--- a/deal.II/common/scripts/status.pl
+++ b/deal.II/common/scripts/status.pl
@@ -62,6 +62,7 @@ while(<CVS>)
        $tag = '' if ($tag eq '(none)');
        $date = '' if ($date eq '(none)');
        $opt = '' if ($opt eq '(none)');
+       $opt = '' if ($opt eq '-kk');
        my $stick = $tag . $date . $opt;
        $stick = "Stick $stick" unless ($stick eq '');
        $status .= $stick;