diff --git a/Jenkinsfile b/Jenkinsfile
index b8f694e5d6..b6f6d3c98a 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -101,6 +101,7 @@ pipeline {
             echo $0;
             git clone https://github.com/emscripten-core/emsdk.git _emscripten_sdk;
             cd _emscripten_sdk;
+            git checkout 4.0.15;
             ./emsdk install latest;
             ./emsdk activate latest;
             cd ..;