From f3b275321cb33f68eb0f685db9b54785aa035eaf Mon Sep 17 00:00:00 2001 From: Vadim Zeitlin Date: Fri, 16 Apr 2021 19:23:28 +0200 Subject: [PATCH] Update comment to mention GitHub CI too No real changes. --- build/tools/before_install.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/build/tools/before_install.sh b/build/tools/before_install.sh index 8c3f9d6ab2..541aafb95d 100755 --- a/build/tools/before_install.sh +++ b/build/tools/before_install.sh @@ -1,8 +1,8 @@ #!/bin/sh # -# This script is used by Travis CI to install the dependencies before building -# wxWidgets but can also be run by hand if necessary but currently it only -# works for Ubuntu versions used by Travis builds. +# This script is used by both GitHub and Travis CI to install the dependencies +# before building wxWidgets but can also be run by hand if necessary (but +# currently it only works for Ubuntu versions used by the CI builds). set -e