mirror of
https://github.com/crosstool-ng/crosstool-ng.git
synced 2025-02-21 01:21:27 +00:00
In case the shell the user wants to use as CONFIG_SHELL is located in a weird place (eg. /opt/bash/bin/bash), or is weirdly named (eg. bash-4), let the user enter the patch to the shell.