From: guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Tue, 16 Apr 2002 14:58:11 +0000 (+0000)
Subject: Ignore -kk flags
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=21f377abab90c7f6034dbf85d583b434d3526920;p=dealii-svn.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;