Ludovic Courtès db340c904d Use shell's builtin pwd.
Insisting on /bin/pwd is unnecessary nowadays.  Autoconf-generated
scripts have been using the shell's built-in "pwd" for a long time.`
2015-12-02 23:58:15 -05:00
..
2007-02-21 09:36:46 +00:00
2015-12-02 23:58:15 -05:00
2003-11-07 23:00:00 +00:00
2007-07-28 18:04:22 +00:00
2003-10-27 04:05:04 +00:00