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

[Yann E. MORIN]

Anthony, All,

On Thursday 19 May 2011 23:12:09 Yann E. MORIN wrote:
> 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!

1 & 2 backported to 1.11, patches available in the usual place. 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