bug#16717: Dumping: Can't update subspace record

[Paul Eggert]

On 02/13/2014 06:39 AM, Klaus Zeitler wrote:
> This looked like a Make problem to me and when I replaced the official 
> HP make with GNU make everything worked beautifully.

That's good, but it'd be better if the makefile worked with HP make as 
well.  That part of the makefile has evolved since 24.3, but I expect 
that part of the problem is that it's just too complicated, so I 
simplified it in the hopes of getting things to work.  Could you please 
try the attached patch with HP make?  Thanks.

hp1.diff
Description: Text Data