summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMahmoud <[email protected]>2017-09-14 10:53:43 -0400
committerMahmoud <[email protected]>2017-09-14 10:53:43 -0400
commit85087e8cedf6be1be9f8ebb9f395eb1ec6a29060 (patch)
tree08170714a49da82e9390cb79cecfbda103fe7d1d
parent1623ca1036356a8a50fa7e0b504f0f67df054e5c (diff)
fixing jenkins file
-rw-r--r--Jenkinsfile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index dfe2d1c..d6d3618 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -14,7 +14,7 @@ pipeline {
}, "8.0" : {
sh 'source /home/tgrogers-raid/a/common/gpgpu-sim-setup/8.0_env_setup.sh &&\
source `pwd`/setup_environment &&\
- make -j'
+ make -j -C -f Makefile.PTX5'
}
}
}
@@ -33,7 +33,7 @@ pipeline {
source `pwd`/setup_environment &&\
cd gpgpu-sim_simulations && \
source ./benchmarks/src/setup_environment && \
- make -j -C ./benchmarks/src all'
+ make -j -f Makefile.PTX5 ./benchmarks/src all'
}
}
stage('rodinia-regress'){