diff options
| -rw-r--r-- | Jenkinsfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 164f38c..92a535f 100644 --- a/Jenkinsfile +++ b/Jenkinsfile | |||
| @@ -116,7 +116,7 @@ node { | |||
| 116 | // Determine needed information like the EL Profile or the release layer to be used later as environment variables | 116 | // Determine needed information like the EL Profile or the release layer to be used later as environment variables |
| 117 | profile = getProfile() | 117 | profile = getProfile() |
| 118 | releaseLayer = getReleaseLayer() | 118 | releaseLayer = getReleaseLayer() |
| 119 | buildStamp = BUILD_ID | 119 | buildStamp = $BUILD_ID |
| 120 | print profile | 120 | print profile |
| 121 | print releaseLayer | 121 | print releaseLayer |
| 122 | print buildStamp | 122 | print buildStamp |