While attempting a 2020.1 build it failed for want of an HDMI license when trying to build for the ZCU104 (@gnatale I saw your post about using PYNQ_SDIST as a workaround but don’t think that works here as I’m working with 2020.1 and nothing is out yet). Since I couldn’t figure out how to disable the 104 build, I’ve obtained an evaluation license and would like to tell make to retry starting from the failed step. Is this possible?
I’d also note that
make delete is failing with an error from bash about too many arguments.