[PATCH 2 of 2] Add config shell override option

[Yann E. MORIN]

Bart,
All,

On Sunday 02 August 2009 17:34:25 Bart vdr. Meulen wrote:
> Add config shell override option
> 
> Add config option to override the shell used in configuration
> script making it possible to build on an Ubuntu host without
> overriding the default shell (dash)

I'd rather select the shell to be used in a choice menu, like:

"Shell to use as CONFIG_SHELL:"
   "sh (system shell)"
   "ash"
   "bash"
   "Custom shell"
     "Path to custom shell:"

I've already done this in a local branch I'll be pushing later tonight...

OTOH, if we do know that some shells do not work, they why leave such
an option, and why not forcibly use the shell we know works ?

Regards,
Yann E. MORIN.

-- 
.-----------------.--------------------.------------------.--------------------.
|  Yann E. MORIN  | Real-Time Embedded | /"\ ASCII RIBBON | Erics' conspiracy: |
| +0/33 662376056 | Software  Designer | \ / CAMPAIGN     |  ___               |
| --==< ^_^ >==-- `------------.-------:  X  AGAINST      |  \e/  There is no  |
| http://ymorin.is-a-geek.org/ | _/*\_ | / \ HTML MAIL    |   v   conspiracy.  |
`------------------------------^-------^------------------^--------------------'



--
For unsubscribe information see http://sourceware.org/lists.html#faq