rename directory and internal pwd command.

[Masato Asou]

Hello,

I am useig bash-3.2.25 on CentOS.

$ bash --version
bash --version
GNU bash, version 3.2.25(1)-release (x86_64-redhat-linux-gnu)
Copyright (C) 2005 Free Software Foundation, Inc.

1. Go to directory ~/src.
    $ cd ~/src
2. Rename the directory to ~/src-old.
    $ mv ~/src ~/src-old
3. Invoke pwd command. Then print /home/asou/src by pwd command.
    $ pwd
    /home/asou/src
4. Invoke /bin/pwd command. Then print /home/asou/src-old.
    $ /bin/pwd
    /home/asou/src-old

Is this a bug of internal pwd command?
--
ASOU Masato