Timeline

04/30/2017:

21:50 Ticket #1710 ($JHALFSDIR maybe put twice in a path) closed by Pierre Labastie

fixed: Fixed at r 3962

21:43 Ticket #1710 ($JHALFSDIR maybe put twice in a path) updated by Pierre Labastie

Ah, I see, it is only used when "Rebuild the Makefile" has been …

21:37 Ticket #1710 ($JHALFSDIR maybe put twice in a path) updated by Pierre Labastie

Status, Owner changed

21:37 Ticket #1710 ($JHALFSDIR maybe put twice in a path) created by Pierre Labastie

In the jhalfs script, we have: […] but we also have: […] (or the …