On 05/22/2017 06:55 PM, Tom de Vries wrote: >> Besides, it may be worthwhile contributing/suggesting this upstream. > > Will do. Sent 'relative line numbers and dg-line directive' to dejagnu ml ( http://lists.gnu.org/archive/html/dejagnu/2017-05/msg00000.html ). Thanks, - Tom