diff options
author | Seth Tisue <seth@tisue.net> | 2015-10-08 13:04:05 -0400 |
---|---|---|
committer | Seth Tisue <seth@tisue.net> | 2015-10-08 13:07:18 -0400 |
commit | 52cf99af83e75b8e15c93542dca8bd24a214ce0d (patch) | |
tree | 395faeadc24381ae5227caa781e25ce2cd586ab1 /test/partest | |
parent | 021d5e39dd1f9496340bcaa4375c3a6ce41c31ab (diff) | |
download | scala-52cf99af83e75b8e15c93542dca8bd24a214ce0d.tar.gz scala-52cf99af83e75b8e15c93542dca8bd24a214ce0d.tar.bz2 scala-52cf99af83e75b8e15c93542dca8bd24a214ce0d.zip |
add comment about Cygwin trouble to test/partest
Diffstat (limited to 'test/partest')
-rwxr-xr-x | test/partest | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/test/partest b/test/partest index 8b827f276f..cb07c00e04 100755 --- a/test/partest +++ b/test/partest @@ -22,6 +22,14 @@ findScalaHome () { } # Use tput to detect color-capable terminal. +# (note: I have found that on Cygwin, the script sometimes dies here. +# it doesn't happen from the Cygwin prompt when ssh'ing in to +# jenkins-worker-windows-publish, only when I make a Jenkins job +# that runs this script. I don't know why. it may have to do with +# which bash flags are set (-e? -x?) and with bash flags propagating +# from one script to another? not sure. anyway, normally in a CI +# context we run partest through ant, not through this script, so I'm +# not investigating further for now.) term_colors=$(tput colors 2>/dev/null) if [[ $? == 0 ]] && [[ $term_colors -gt 2 ]]; then git_diff_options="--color=always --word-diff" |