make /bin/sh: 1: pushd: not found 에러

가장 간편(?)한 건...

$ sudo ln -s /bin/bash /bin/sh

그런데 이렇게 건드리는게 옳은건가...

[링크 : https://forums.xilinx.com/.../Trouble-configuring-petalinux-2013-10-bin-sh-1-pushd-not-found/td-p/399843]