kaspar/RIOT
1
0
Fork 0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-24 22:13:52 +01:00
Code Releases Activity

github_annotate.sh: fix escaped echo for bash scripts

Browse Source
This commit is contained in:
Martine Lenders 2021-01-11 14:13:16 +01:00
parent 9ee568e319
commit 429a2a8724
No known key found for this signature in database
GPG Key ID: CCD317364F63286F
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
dist/tools/ci/github_annotate.sh vendored
View File

@ -9,7 +9,7 @@ LOGFILE=
OUTFILE=github_annotate_outfile.log
ECHO_ESC=echo
if ps -p $$ | grep -q '\<bash\>'; then
if [ -n "${BASH_VERSION}" ]; then
# workaround when included in bash to escape newlines and carriage returns
# properly in _escape
ECHO_ESC='echo -e'