'make check' fails if there is a space in the filename

Niels Möller nisse at lysator.liu.se
Fri Nov 13 10:00:21 UTC 2015


Vincent Lefevre <vincent at vinc17.net> writes:

> 3. This is a very complex issue due to the way Bourne/POSIX-compatible
>    shells work, and it will probably never be fixed, in particular
>    because a proper fix would slow things down for everyone.

My experience is that it's usually no big deal to write shell scripts
with proper quoting to support filenames with spaces. Highly
recommended.

The larger problem is that make really wants space for a separator. Not
sure if it's possible at all to do proper quoting in make, and if it's
possible, it's not going to mix well with sh quoting.

And on top of that, there's Makefile conventions, like supporting
CC="gcc -m32", which is used without sh-quoting the Makefile, and that's
fundamentally incompatible with supporting CC="/tmp/a b/cc".

Regards,
/Niels

-- 
Niels Möller. PGP-encrypted email is preferred. Keyid C0B98E26.
Internet email is subject to wholesale government surveillance.


More information about the gmp-bugs mailing list