From 57d1712b684391aff29b4eca15b489b4282ecefc Mon Sep 17 00:00:00 2001 From: Robin Mills Date: Mon, 25 Aug 2014 13:35:35 +0000 Subject: [PATCH] jenkins testing --- jenkins_build.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/jenkins_build.sh b/jenkins_build.sh index a2ce2d46..68ff02f8 100755 --- a/jenkins_build.sh +++ b/jenkins_build.sh @@ -79,6 +79,7 @@ if [ "$PLATFORM" == "cygwin" ]; then make make install make samples + make tests fi fi