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