tree d7fd5cbd5679a6c6b83dfe373d5869c43a15512d
parent eee69d9ce92f30321fc72f4f5e11162b969ed4d3
author Cindy Liu <hcindyl@google.com> 1686337689 -0700
committer Cindy Liu <hcindyl@google.com> 1686337689 -0700

Fix hello world verilator run script

Use a syntax compatible to centos bash

Change-Id: I35b3dbd97c9a3ccc27529d007b5f03e56eeb4924