diff options
author | Vadim Zeitlin <vz-swig@zeitlins.org> | 2021-11-02 19:42:11 +0100 |
---|---|---|
committer | William S Fulton <wsf@fultondesigns.co.uk> | 2021-11-27 13:51:34 +0000 |
commit | 6a56426f8f4887f649d06b83c0becbaa69bc6fe3 (patch) | |
tree | 222150b681146fc66d4ae6e4630776359ba401e4 /Tools | |
parent | a39c2695f27dd5bef06fe583dc89bb9b8f4a8170 (diff) | |
download | swig-6a56426f8f4887f649d06b83c0becbaa69bc6fe3.tar.gz |
Use JSC version available in Ubuntu 20.04 in the CI builds
Use the newer OS and JavaScript Core library versions for the CI build,
we don't have to remain with the old version here, as the newer one
works too.
Diffstat (limited to 'Tools')
-rw-r--r-- | Tools/CI-linux-install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/CI-linux-install.sh b/Tools/CI-linux-install.sh index 6edce572b..7bd141080 100644 --- a/Tools/CI-linux-install.sh +++ b/Tools/CI-linux-install.sh @@ -55,7 +55,7 @@ case "$SWIGLANG" in fi ;; "jsc") - $RETRY sudo apt-get install -qq libwebkitgtk-dev + $RETRY sudo apt-get install -qq libjavascriptcoregtk-4.0-dev ;; "v8") $RETRY sudo apt-get install -qq libv8-dev |