diff options
Diffstat (limited to 'test/cmdlineTests.sh')
| -rwxr-xr-x | test/cmdlineTests.sh | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/test/cmdlineTests.sh b/test/cmdlineTests.sh index f7577cb3..6e57ce0f 100755 --- a/test/cmdlineTests.sh +++ b/test/cmdlineTests.sh @@ -37,9 +37,15 @@ FULLARGS="--optimize --ignore-missing --combined-json abi,asm,ast,bin,bin-runtim echo "Checking that the bug list is up to date..." "$REPO_ROOT"/scripts/update_bugs_by_version.py -function printTask() { echo "$(tput bold)$(tput setaf 2)$1$(tput sgr0)"; } +if [ "$CIRCLECI" ] +then + function printTask() { echo "$(tput bold)$(tput setaf 2)$1$(tput setaf 7)"; } + function printError() { echo "$(tput setaf 1)$1$(tput setaf 7)"; } +else + function printTask() { echo "$(tput bold)$(tput setaf 2)$1$(tput sgr0)"; } + function printError() { echo "$(tput setaf 1)$1$(tput sgr0)"; } +fi -function printError() { echo "$(tput setaf 1)$1$(tput sgr0)"; } function compileFull() { |