From eee55e6cb184c989f4f1de75b471433eb47361f0 Mon Sep 17 00:00:00 2001 From: James Cherry Date: Mon, 27 Jan 2020 11:50:18 -0700 Subject: [PATCH] jenkins --- jenkins/build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jenkins/build.sh b/jenkins/build.sh index bc13c156..067b0430 100755 --- a/jenkins/build.sh +++ b/jenkins/build.sh @@ -2,4 +2,4 @@ set -x set -e docker build -t openroad/openroad --target base-dependencies . -docker run -u $(id -u ${USER}):$(id -g ${USER}) -v $(pwd):/OpenROAD openroad/openroad bash -c "./OpenROAD/jenkins/install.sh" \ No newline at end of file +docker run -u $(id -u ${USER}):$(id -g ${USER}) -v $(pwd):/OpenSTA openroad/openroad bash -c "./OpenSTA/jenkins/install.sh"