summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Jenkinsfile3
1 files changed, 3 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index 5f3d5aef..04ca2bfc 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -81,6 +81,9 @@ pipeline {
triggeredBy cause: "UserIdCause"
}
}
+ environment {
+ PYTHONDONTWRITEBYTECODE = 1
+ }
steps {
script {
// Display Git commit Id used with the Jenkinsfile on the Job "Build History" pane