If /bin/sh is not there, fall back to chdir(destdir) as before. --HG-- extra : convert_revision : 7506a8db97346dbf45292e4c46b9d8ecc384162a
--HG-- extra : convert_revision : 1c5b66b58e4c66ff61e9cef2cb3760ac675c1626
--HG-- extra : convert_revision : 42a4231615746fdc21c826d7f5c1ccbe5ea7a6e2