Merge pull request #712 from antmicro/626_pass_j_option

Fix makefiles to pass -j option
This commit is contained in:
Tim Ansell 2019-03-20 19:43:52 -07:00 committed by GitHub
commit c94af5b4c8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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,,$@) ; \