diff --git a/plugins/jenkins/jenkins_ b/plugins/jenkins/jenkins_ index 630d7a0d..6112c8c2 100644 --- a/plugins/jenkins/jenkins_ +++ b/plugins/jenkins/jenkins_ @@ -66,7 +66,7 @@ my $wgetBin = "/usr/bin/wget"; my $type = basename($0); $type =~ s/jenkins_//; -my %states = ('blue' =>'stable', 'blue_anime' =>'stable', 'yellow'=>'unstable', 'yellow_anime'=>'unstable', 'red'=>'failing', 'red_anime'=>'failing', 'disabled'=>'disabled' ); +my %states = ('blue' =>'stable', 'blue_anime' =>'stable', 'yellow'=>'unstable', 'yellow_anime'=>'unstable', 'red'=>'failing', 'red_anime'=>'failing', 'disabled'=>'disabled', 'notbuilt_anime' =>'disabled', 'aborted'=>'failing', 'aborted_anime'=>'failing' ); my %counts = ('blue' => 0, 'yellow'=>0, 'red'=>0, 'disabled'=>0); if ( exists $ARGV[0] and $ARGV[0] eq "config" ) {