diff options
| author | William S Fulton <wsf@fultondesigns.co.uk> | 2022-07-30 19:45:53 +0100 |
|---|---|---|
| committer | William S Fulton <wsf@fultondesigns.co.uk> | 2022-07-31 00:58:35 +0100 |
| commit | db854dcef4c0761593bbac9ab10b16a1199ef0f6 (patch) | |
| tree | e5992dba5622772480db199e3a6cbdf9bf0ea0c9 /Tools | |
| parent | eb8346b958d8ce7239c06577179f4899e42210fd (diff) | |
| download | swig-db854dcef4c0761593bbac9ab10b16a1199ef0f6.tar.gz | |
GHA: Python is already installed
Diffstat (limited to 'Tools')
| -rw-r--r-- | Tools/CI-linux-install.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Tools/CI-linux-install.sh b/Tools/CI-linux-install.sh index b88df193c..525121e8c 100644 --- a/Tools/CI-linux-install.sh +++ b/Tools/CI-linux-install.sh @@ -12,8 +12,7 @@ else fi $RETRY sudo apt-get -qq install libboost-dev libpcre3-dev -# testflags.py needs python -$RETRY sudo apt-get install -qq python +# Note: testflags.py needs python, but python is pre-installed WITHLANG=$SWIGLANG |