diff options
Diffstat (limited to 'TOOLS')
-rwxr-xr-x | TOOLS/travis-rebuild-website | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/TOOLS/travis-rebuild-website b/TOOLS/travis-rebuild-website index ecf3dae466..802dded876 100755 --- a/TOOLS/travis-rebuild-website +++ b/TOOLS/travis-rebuild-website @@ -1,6 +1,6 @@ #!/bin/sh -if [ "x$TARGET" != "xx86_64-w64-mingw32" ]; then +if [ "$TRAVIS_OS_NAME" != "linux" ] || [ "$CC" != "clang" ]; then # trigger build only on one of the matrix nodes exit; fi |