From 7ba53d2e898b90a0d23be60481b7ddace3c84db4 Mon Sep 17 00:00:00 2001
From: Robin Mills <robin@clanmills.com>
Date: Thu, 28 Aug 2014 12:59:36 +0000
Subject: [PATCH] jenkins development: fix bug in run_tests