Re-enable harness generation for Zynq

Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
This commit is contained in:
Tomasz Michalak 2019-09-09 15:12:44 +02:00
parent f71956225a
commit 50d8c368c8
1 changed files with 3 additions and 5 deletions

View File

@ -135,11 +135,9 @@ db-extras-kintex7:
db-extras-zynq7:
+source minitests/roi_harness/zybo-swbut.sh && $(MAKE) -C fuzzers part_only
# TODO(#746): Zybo harness is missing some bits, disable automatic harness
# generation.
#+source minitests/roi_harness/zybo-swbut.sh && \
# $(MAKE) -C minitests/roi_harness \
# HARNESS_DIR=database/artix7/harness/zybo/swbut run
+source minitests/roi_harness/zybo-swbut.sh && \
$(MAKE) -C minitests/roi_harness \
HARNESS_DIR=database/artix7/harness/zybo/swbut run
db-check:
@true