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

From: Glenn Morris <[email-masked]>
Date: Thu, 13 Feb 2014 14:54:18 -0500

Paul Eggert wrote:

> please try the attached patch with HP make?

Fails when the installation directory contains spaces.
(with GNU make)