| # This bash file is meant to be source'd, not executed. | |
| # Copyright (c) 2017, Google Inc. Please see the AUTHORS file for details. | |
| # All rights reserved. Use of this source code is governed by a BSD-style | |
| # license that can be found in the LICENSE file. | |
| if [ ! $(type -t travis_fold) ]; then | |
| travis_fold () { echo "travis_fold:${1}:${2}"; } | |
| # In case this is being run locally. Turn travis_fold into a noop. | |
| # travis_fold () { true; } | |
| fi | |
| export -f travis_fold |