[m65] bitstream push does not properly close the jtag device

[lydon42]

While testing partial reconfig, I was not able to change the bitstream after pushing with m65.

When using Vivado HW Manager instead, and closing the HW Manager after the push, everything worked.

Sending with m65, then opening and closing HW Manager in Vivado also worked.

Claude suggested this:

  --- a/src/tools/fpgajtag/fpgajtag.c
  +++ b/src/tools/fpgajtag/fpgajtag.c
  @@ -70,7 +70,9 @@
   static int uinfo_selected = -1;
   static uint32_t idcode_array[IDCODE_ARRAY_SIZE], idcode_len[IDCODE_ARRAY_SIZE];
   static uint8_t *rstatus = DITEM(
  -    CONFIG_DUMMY, CONFIG_SYNC, CONFIG_TYPE2(0), CONFIG_TYPE1(CONFIG_OP_READ, CONFIG_REG_STAT, 1), SINT32(0));
  +    CONFIG_DUMMY, CONFIG_SYNC, CONFIG_TYPE2(0), CONFIG_TYPE1(CONFIG_OP_READ, CONFIG_REG_STAT, 1), SINT32(0),
  +    CONFIG_TYPE1(CONFIG_OP_WRITE, CONFIG_REG_CMD, CONFIG_CMD_WCFG), CONFIG_CMD_DESYNC,
  +    CONFIG_TYPE1(CONFIG_OP_NOP, 0, 0));
   static int befbits, afterbits;

   #ifndef USE_MDM

But it did not change the behaviour.