summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authortgrogers <[email protected]>2018-05-09 11:24:50 -0400
committertgrogers <[email protected]>2018-05-09 11:24:50 -0400
commit7d2b1a546cfc4a03eac998fa37b7720ce9e68109 (patch)
tree346b50e5a0043fde884d590700dd0062e5b12f19
parent6ff157a4ec13e33dc69856de33a7690afa408f6d (diff)
if data_dirs is not there - forget about it
-rw-r--r--Jenkinsfile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index 806231e..57fc6c3 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -28,7 +28,7 @@ pipeline {
cd gpgpu-sim_simulations && \
git checkout purdue-cluster && \
git pull && \
- rm -r ./benchmarks/data_dirs && ln -s /home/tgrogers-raid/a/common/data_dirs benchmarks/'
+ rm -fr ./benchmarks/data_dirs && ln -s /home/tgrogers-raid/a/common/data_dirs benchmarks/'
sh 'source /home/tgrogers-raid/a/common/gpgpu-sim-setup/4.2_env_setup.sh &&\
source `pwd`/setup_environment &&\
cd gpgpu-sim_simulations && \