# We have to do this mangling using the shell, because words may contain
# spaces and GNU make doesn't have any quoting interpretation.
# We have to do this mangling using the shell, because words may contain
# spaces and GNU make doesn't have any quoting interpretation.