Append (instead of over-writing) EXTRA_FLAGS
authorJim Lawson <ucbjrl@berkeley.edu>
Fri, 15 Feb 2019 19:56:51 +0000 (11:56 -0800)
committerJim Lawson <ucbjrl@berkeley.edu>
Fri, 15 Feb 2019 19:56:51 +0000 (11:56 -0800)
tests/asicworld/run-test.sh

index d5708c45635a24cfde3e0d62a59b7d407c7e0dbf..c22ab69281f022a3458ed0a4a6ac6a6d2bd606ed 100755 (executable)
@@ -11,4 +11,4 @@ do
 done
 shift "$((OPTIND-1))"
 
-exec ${MAKE:-make} -f ../tools/autotest.mk $seed EXTRA_FLAGS="-e" *.v
+exec ${MAKE:-make} -f ../tools/autotest.mk $seed EXTRA_FLAGS+="-e" *.v