[riot-notifications] [RIOT-OS/RIOT] Renode improvements (#15427)

Philipp-Alexander Blum notifications at github.com
Mon Nov 16 23:47:48 CET 2020

@Citrullin commented on this pull request.

>  # Default Renode command
-: ${RENODE:=renode}
+if [ ! -f "${RENODE}" ]; then

I guess so. I am not that good in shell scripting. Haven't seen that before. 

You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20201116/fc4f9e2b/attachment.htm>

More information about the notifications mailing list