[riot-notifications] [RIOT-OS/RIOT] dist/tools/jlink: add -nogui to version test (#15441)

Francisco notifications at github.com
Fri Nov 13 14:29:14 CET 2020

@fjmolinas pushed 1 commit.

1dc84b0d9ea968b9ec07b7be80a80c4348e99ad6  dist/tools/jlink: use 'grep -E' instead of 'grep -P'

You are receiving this because you are subscribed to this thread.
View it on GitHub:
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20201113/4dd7bf46/attachment.htm>

More information about the notifications mailing list