Fix makefiles to pass -j option

Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
This commit is contained in:
Tomasz Michalak 2019-03-12 11:42:53 +01:00 committed by Tim 'mithro' Ansell
parent 6a45178bc1
commit d3bb32e391
2 changed files with 2 additions and 2 deletions

View File

@ -21,7 +21,7 @@ pushdb:
$(SPECIMENS_OK): build/todo.txt
mkdir -p build
bash generate.sh $(subst /OK,,$@)
+bash generate.sh $(subst /OK,,$@)
touch $@
build/todo.txt:

View File

@ -30,7 +30,7 @@ include $(SELF_DIR)/pip_list.mk
$(SPECIMENS_OK): build/todo.txt $(SPECIMENS_DEPS)
mkdir -p build/$(ITER)
if [ -f ${FUZDIR}/generate.sh ] ; then \
+if [ -f ${FUZDIR}/generate.sh ] ; then \
bash ${FUZDIR}/generate.sh $(subst /OK,,$@) ; \
else \
bash ${XRAY_DIR}/utils/top_generate.sh $(subst /OK,,$@) ; \