riot-ci/RIOT
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Merge pull request #15514 from aabadie/pr/tools/ci/print_versions_make

Browse Source 
ci/print_versions: don't print directory for make shell
This commit is contained in:
Alexandre Abadie 2020-11-26 19:49:03 +01:00 committed by GitHub
commit 23a2afd8b1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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
}