]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Ignore -kk flags
authorguido <guido@0785d39b-7218-0410-832d-ea1e28bc413d>
Tue, 16 Apr 2002 14:58:11 +0000 (14:58 +0000)
committerguido <guido@0785d39b-7218-0410-832d-ea1e28bc413d>
Tue, 16 Apr 2002 14:58:11 +0000 (14:58 +0000)
git-svn-id: https://svn.dealii.org/trunk@5669 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/common/scripts/status.pl

index 2c922c4f217d5941b31e2f593e90f5fa03bc6ece..8a0e3e107abddd5269e6b1b8cb55ebbca9de4646 100644 (file)
@@ -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;

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.