[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:
https://github.com/RIOT-OS/RIOT/pull/15441/files/914912b2763dea74cd9eb3e7692e8189cd3741a2..1dc84b0d9ea968b9ec07b7be80a80c4348e99ad6
-------------- 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