From 8ad8e1b9e21c107ea4aae697248de1c93536c9f5 Mon Sep 17 00:00:00 2001
From: Dominic Hargreaves <dom@semmle.com>
Date: Thu, 10 Sep 2015 14:26:05 +0100
Subject: [PATCH] jenkins_: Add a missing mapping for notbuilt

---
 plugins/jenkins/jenkins_ | 1 +
 1 file changed, 1 insertion(+)

diff --git a/plugins/jenkins/jenkins_ b/plugins/jenkins/jenkins_
index d60ef71c..d37c2605 100644
--- a/plugins/jenkins/jenkins_
+++ b/plugins/jenkins/jenkins_
@@ -74,6 +74,7 @@ my %states = (
 	'red'=>'failing',
 	'red_anime'=>'failing',
 	'disabled'=>'disabled',
+	'notbuilt' => 'disabled',
 	'notbuilt_anime' =>'disabled',
 	'aborted'=>'failing',
 	'aborted_anime'=>'failing'