diff --git a/Jenkinsfile b/Jenkinsfile index 1857db4..346f526 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -17,7 +17,7 @@ echo 'Building..' sh 'whoami || true' sh 'which -a make || true' - sh 'uname || true' + sh 'make -v || true' sh 'sh -c make build/hello-linux-64' archiveArtifacts artifacts: 'build/hello-linux-64', fingerprint: true } @@ -36,7 +36,7 @@ echo 'Building..' sh 'whoami || true' sh 'which -a make || true' - sh 'uname || true' + sh 'make -v || true' sh 'sh -c make build/hello-win64.exe' archiveArtifacts artifacts: 'build/hello-win64.exe', fingerprint: true // echo 'Cleaning..' @@ -55,8 +55,8 @@ echo 'Building..' sh 'whoami || true' sh 'which -a make || true' - sh 'uname || true' - sh 'uname && sh -c make build/hello-macosx.bin || true' + sh 'make -v || true' + sh 'sh -c make build/hello-macosx.bin || true' archiveArtifacts artifacts: 'build/hello-macosx.bin', fingerprint: true } } @@ -72,7 +72,7 @@ echo 'Linting..' sh 'whoami' sh 'which -a make || true' - sh 'uname || true' + sh 'make -v || true' sh 'make tidy || true' // junit allowEmptyResults: true, healthScaleFactor: 0.0, testResults: 'build/tidy.xml' sh 'true'