diff --git a/fuzzers/051-pip-imuxlout/generate.py b/fuzzers/051-pip-imuxlout/generate.py deleted file mode 120000 index 2864b683..00000000 --- a/fuzzers/051-pip-imuxlout/generate.py +++ /dev/null @@ -1 +0,0 @@ -../int_generate.py \ No newline at end of file diff --git a/fuzzers/056-pip-rem/generate.py b/fuzzers/056-pip-rem/generate.py deleted file mode 120000 index 2864b683..00000000 --- a/fuzzers/056-pip-rem/generate.py +++ /dev/null @@ -1 +0,0 @@ -../int_generate.py \ No newline at end of file diff --git a/utils/top_generate.mk b/utils/top_generate.mk index af889d5b..207a0fd1 100644 --- a/utils/top_generate.mk +++ b/utils/top_generate.mk @@ -20,7 +20,7 @@ design_bits.ok: vivado.ok done touch design_bits.ok -generate.ok: design_bits.ok ${FUZDIR}/generate.py - python3 ${FUZDIR}/generate.py ${GENERATE_FLAGS} +generate.ok: design_bits.ok + if [ -f ${FUZDIR}/generate.py ] ; then python3 ${FUZDIR}/generate.py ${GENERATE_FLAGS}; else python3 ${XRAY_DIR}/fuzzers/int_generate.py; fi touch generate.ok