From 3e1ccb98bb479a67a12c6303fade4e37d7e7d0e2 Mon Sep 17 00:00:00 2001 From: Zack Cerza Date: Wed, 27 Jan 2016 09:57:50 -0700 Subject: [PATCH] Drop obsolete jenkins/ dir Signed-off-by: Zack Cerza --- jenkins/jenkins-pull-requests-build | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100755 jenkins/jenkins-pull-requests-build diff --git a/jenkins/jenkins-pull-requests-build b/jenkins/jenkins-pull-requests-build deleted file mode 100755 index 36203d20f..000000000 --- a/jenkins/jenkins-pull-requests-build +++ /dev/null @@ -1,13 +0,0 @@ -#!/bin/sh - -# This is the script that runs inside Jenkins. -# http://jenkins.ceph.com/job/teuthology-pull-requests/ - -set -x -set -e - -virtualenv --version -virtualenv --system-site-packages --distribute venv -. venv/bin/activate -venv/bin/pip install tox -tox -rv -- 2.47.3