On 16.05.2017 05:35, Bernhard Reutner-Fischer wrote: > On 16 May 2017 at 14:16, Jonathan Wakely <jwakely....@gmail.com> wrote: >> On 16 May 2017 at 13:13, Bernhard Reutner-Fischer wrote: >>> 1.5.0 wouldn't buy us anything as the "libdirs" handling is only in 1.5.2 >>> and later. >> >> Ah I missed that in the earlier discussion. >> >> The change I care about in 1.5.3 is >> http://git.savannah.gnu.org/gitweb/?p=dejagnu.git;a=commit;h=5256bd82343000c76bc0e48139003f90b6184347 > > the libdirs handling is > http://git.savannah.gnu.org/gitweb/?p=dejagnu.git;a=commit;h=5481f29161477520c691d525653323b82fa47ad7 > and applies cleanly to everything 1.5.x-ish. Didn't try if it applies to > 1.4.4.
this patch is part of dejagnu in Ubuntu 14.04 LTS.
