basys3 openocd config not found

[nickoe]

When I try to build for the basys3 platform I get a mismatch with the openocd config used.

(LX P=basys3 C=picorv32) [nickoe@x280-arch litex-buildenv]$ make gateware-load
openocd -f board/digilent_basys3.cfg -c "init; pld load 0 build/basys3_base_picorv32/gateware/basys3.bit; exit"
Open On-Chip Debugger 0.10.0+dev-01012-ged8fa09cf-dirty (2020-01-15-04:14)
Licensed under GNU GPL v2
For bug reports, read
	http://openocd.org/doc/doxygen/bugs.html
embedded:startup.tcl:26: Error: Can't find board/digilent_basys3.cfg
in procedure 'script' 
at file "embedded:startup.tcl", line 26
make: *** [targets/basys3/Makefile.mk:21: gateware-load-basys3] Error 1

Specifying -f board/digilent_arty.cfg instead of -f board/digilent_$(PLATFORM).cfg in targets/basys3/Makefile.mk works ok. I just did this because that is what is currently used for the basys3 board on the symbiflow-examples repo and doc. https://symbiflow-examples.readthedocs.io/en/latest/building-examples.htm

What would be the correct way to fix this?

I am trying to run on the basys3. I am testing litex-buildenv 690901d