diff options
| author | dec05eba <dec05eba@protonmail.com> | 2020-11-05 01:45:06 +0100 |
|---|---|---|
| committer | dec05eba <dec05eba@protonmail.com> | 2020-11-05 01:45:06 +0100 |
| commit | 2a8202e74846d191a321cca1202175af9db6107d (patch) | |
| tree | a6f455caf07da1186851f343a237a4c4e4484f46 /jenkins.sh | |
| parent | 8efa0ec17d8c262f9c3fd7603e8074f74a053708 (diff) | |
Diffstat (limited to 'jenkins.sh')
| -rwxr-xr-x | jenkins.sh | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/jenkins.sh b/jenkins.sh deleted file mode 100755 index 1dc6b58..0000000 --- a/jenkins.sh +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/sh - -set -e - -make clean -rm -f olm-*.tgz - -make lib -make test - -. ~/.emsdk_set_env.sh -make js -(cd javascript && npm install && npm run test) -npm pack javascript |