-
Paul Eggert authored
This fixes a bug in the previous change. Also, use $(SHELL) rather than sh, as that's more likely to be portable. Fixes: debbugs:16717
96fbe2b9
This fixes a bug in the previous change. Also, use $(SHELL) rather than sh, as that's more likely to be portable. Fixes: debbugs:16717