今天在做configure 的时候,报错configure: error: /bin/sh must be GNU Bash。
百度瞬间废物,什么资料也查不到,最好google 立马解决问题,
https://developer.windriver.com/thread/1195
/bin/sh needs to point to bash and by default Ubuntu points sh at dash. You can make the change either by brute-force (i.e. just change the link for /bin/sh) or use the 'update-alternatives' mechanism in ubuntu:
sudo update-alternatives --install /bin/sh sh /bin/dash 1
sudo update-alternatives --install /bin/sh sh /bin/bash 1
sudo update-alternatives --config sh
Select the entry for /bin/bash and to make sure, try '/bin/sh --version'.
If sh is pointing at bash, you'll get a version message (GNU bash, version 4.1.5... ), if it's pointing at dash, you'll get a message like: /bin/sh: Illegal option --
本文解决了在进行configure时遇到的错误:/bin/sh必须为GNU Bash的问题。通过使用Ubuntu中的update-alternatives机制,将/bin/sh指向bash而非默认的dash,从而避免了configure过程中的错误。
4905

被折叠的 条评论
为什么被折叠?



