[PATCH 0 of 3] ppl.sh: update 'configure' invocation

[Yann E. MORIN]

Anthony, All,

On Thursday 19 May 2011 15:35:30 Anthony Foiani wrote:
> ppl.sh: update 'configure' invocation
> 
> This patch series updates the call to 'configure' in the 'ppl.sh'
> script to:
> 
> 1. Accomodate some changes to the switch names;
> 2. Reduce compilation time (and sidestep a bug); and
> 3. Remove an extraneous (and confusing) switch.

Applied as: #4f0c4fb572e2, #132c00ad3d6e and #ec30b191f0e3. Thank you!

Regards,
Yann E. MORIN.

-- 
.-----------------.--------------------.------------------.--------------------.
|  Yann E. MORIN  | Real-Time Embedded | /"\ ASCII RIBBON | Erics' conspiracy: |
| +33 662 376 056 | Software  Designer | \ / CAMPAIGN     |  ___               |
| +33 223 225 172 `------------.-------:  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