[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:
https://github.com/RIOT-OS/RIOT/pull/15427#discussion_r524700613
-------------- 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