diff options
-rwxr-xr-x | scripts/cross.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/cross.sh b/scripts/cross.sh index 6dac8ec0..2570713d 100755 --- a/scripts/cross.sh +++ b/scripts/cross.sh @@ -35,6 +35,7 @@ then do { export TARGET + echo -en "\033]2;$TARGET $*\007" "$0" $TARGET "$@" 2>&1 || mv cross-log-$TARGET.{txt,failed} } | tee cross-log-$TARGET.txt done |