print_toolchain_versions: print system and make's default shell.#10991
Closed
jcarrano wants to merge 1 commit into
Closed
print_toolchain_versions: print system and make's default shell.#10991jcarrano wants to merge 1 commit into
jcarrano wants to merge 1 commit into
Conversation
6 tasks
Contributor
Author
Results on Windows 10
|
f60a658 to
c031d50
Compare
Contributor
Author
|
Squashed and rebased on master. |
Some systems use dash as system shell, others use bash. The shell used by make can also be different, and unrelated to the system shell. Differences in this variable can cause problems when testing PRs and reporting bugs. The default shell is important system information that should be reported.
|
This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. If you want me to ignore this issue, please mark it with the "State: don't stale" label. Thank you for your contributions. |
Member
|
on (my) macOS: |
smlng
reviewed
Nov 29, 2019
Comment on lines
+117
to
+118
| printf "%23s: %s\n" "System shell" "$(get_sys_shell)" | ||
| printf "%23s: %s\n" "make's SHELL" "$(get_make_shell)" |
Member
There was a problem hiding this comment.
why System shell and make's SHELL (all capitals)?
Contributor
There was a problem hiding this comment.
Im guessing because of this https://www.gnu.org/software/make/manual/html_node/Choosing-the-Shell.html
Member
|
apart from the minor typo, this is good to go |
Contributor
|
@smlng I think we can go with this one, naming makes sense according to |
Member
|
adopted this into a new PR to fix conflicts, see #13038 - hence closing this one |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Contribution description
Some systems use dash as system shell, others use bash. The shell used by make can also be different, and unrelated to the system shell. Differences in this variable can cause problems when testing PRs and
reporting bugs.
The default shell is important system information that should be reported.
I had several instances where code would work on my machine but travis would reject it. Recently #10889 showed what can happen when people use different shells.
Testing procedure
Run
dist/tools/ci/print_toolchain_versions.sh. Report your results.Result on my system
Issues/PRs references
Part of #10990 .