Use "sh -c pwd" when we want to avoid having the
commitdce3d8a95ce4ca9802ad83d8d9d09c27028649e6
authorRichard M. Stallman <rms@gnu.org>
Sun, 19 Sep 1993 20:04:21 +0000 (19 20:04 +0000)
committerRichard M. Stallman <rms@gnu.org>
Sun, 19 Sep 1993 20:04:21 +0000 (19 20:04 +0000)
tree2ddb18b44c47966279e9d3c4c8925bdfc86b8a99
parente16b32b04560c1456dbdfc05dc0f05907280867c
Use "sh -c pwd" when we want to avoid having the
shell fix up the value of $PWD.
configure1.in