diff config.sub @ 4746:8b96f2796afd

Use "sh -c pwd" when we want to avoid having the shell fix up the value of $PWD.
author Richard M. Stallman <rms@gnu.org>
date Sun, 19 Sep 1993 20:04:21 +0000
parents 2182fb1e1cc1
children d48a4664d92a
line wrap: on
line diff