今天在做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 --