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