-
Notifications
You must be signed in to change notification settings - Fork 2k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
sys/shell/commands/ping: fix dependency [backport 2022.07] #18354
sys/shell/commands/ping: fix dependency [backport 2022.07] #18354
Conversation
da3301b
to
dcf3f37
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Mh... this somehow only contains the changes to the applications' Sorry missed the Makefile.ci
.Makefile.dep
-.-
Ah this left out the |
Just checked, |
Still, I leave the final decision to @chrysn |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I don't have the hardware to test it, but this test:
$ strings examples/gnrc_networking/bin/nucleo-f767zi/gnrc_networking.elf G 'Ping via ICMPv6'
before and after this PR (before returning empty, after giving one occurrence) gives me enough confidence that this does the right thing.
@maribu needs rebase before this can be merged. |
GitHub has an "Update with rebase" option, wouldn't that do just the right thing? |
Ah, they updated it, so it is possible with a rebase. Yes in that case, it does! |
Add missing dependency to xtimer so that the shell command `ping` is again provided when requested. (cherry picked from commit 3a5e363)
dcf3f37
to
29e35ec
Compare
Should we fast-track this PR in the CI, so we can RC2 soonish? |
You can do that? In that case yes please, this is the last one I'd like to have in before pushing the button again. ([edit] I mean, without manually unticking "ready for CI" for a bunch of PRs and then re-enabling it in the right sequence) |
Well yes, by toggling the label in the PRs that come before 😀 |
That's exactly, what I just did. |
Backport of #18349
Contribution description
Add missing dependency to xtimer so that the shell command
ping
isagain provided when requested.
Testing procedure
Run
make BOARD=nucleo-f767zi -C examples/gnrc_networking flash term
and thenhelp
. If theping
command is listed again, the bug is fixed. (Did so, worked for me.)Issues/PRs references
None