[Octave-bug-tracker] [bug #62135] `make dist` fails with bash error

[John W. Eaton]

Follow-up Comment #4, bug #62135 (project octave):

I've made a quick attempt at implementing what I suggested in comment #3 and
it seems possible without too much effort.  I'll try to check in a change
later today.

    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?62135>

_______________________________________________
  Message sent via Savannah
  https://savannah.gnu.org/