RIOT-OS/RIOT
RIOT-OS/RIOT
1
0
Fork 0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00
Code Releases Activity

ci/print_versions: don't print directory for make shell

Browse Source
This commit is contained in:
Alexandre Abadie 2020-11-03 21:20:47 +01:00
parent a9389e0cbe
commit 8183809ebf
No known key found for this signature in database
GPG Key ID: 1C919A403CAE1405
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/print_toolchain_versions.sh vendored
View File

@ -82,7 +82,7 @@ get_sys_shell() {
}
_get_make_shell() {
${MAKE} -sf - 2>/dev/null <<MAKEFILE
${MAKE} -sf - --no-print-directory 2>/dev/null <<MAKEFILE
\$(info \$(realpath \$(SHELL)))
MAKEFILE
}