diff options
-rw-r--r-- | Jenkinsfile | 3 |
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 |