From: Guido Kanschat <dr.guido.kanschat@gmail.com>
Date: Tue, 16 Apr 2002 14:58:11 +0000 (+0000)
Subject: Ignore -kk flags
X-Git-Tag: v8.0.0~18179
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fe82197786118f32ad8b85944883365696d6e19b;p=dealii.git

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 2c922c4f21..8a0e3e107a 100644
--- 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;