fix(build): fix emscripten build in travis (#68)

leanprover-community · Oct 1, 2019 · 6ed0977 · 6ed0977
1 parent ec76117
commit 6ed0977
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -139,7 +139,7 @@ matrix:
          fi
        - while sleep 5m; do echo "=====[ $SECONDS seconds ]====="; done & # https://blog.humphd.org/building-large-code-on-travis/
        - docker exec -it -e "OPTIONS=$OPTIONS" emscripten script/ci_emscripten_docker.sh
-       - kill %1
+       - pkill -9 sleep
        - |
          if [[ $GH_TOKEN && $TRAVIS_PULL_REQUEST == false && $TRAVIS_BRANCH == master ]]
           then