diff options
Diffstat (limited to 'travis/prelude.sh')
-rw-r--r-- | travis/prelude.sh | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/travis/prelude.sh b/travis/prelude.sh deleted file mode 100644 index c3467bff05f..00000000000 --- a/travis/prelude.sh +++ /dev/null @@ -1,7 +0,0 @@ -#!/bin/bash -# Copyright 2017 Yahoo Holdings. Licensed under the terms of the Apache 2.0 license. See LICENSE in the project root. -set -e - -export SOURCE_DIR=/source -export NUM_THREADS=4 -source /etc/profile.d/devtoolset-6.sh || true |