[Boost-build] merge request

Subject: [Boost-build] merge request
From: Jürgen Hunold (jhunold_at_[hidden])
Date: 2014-06-16 05:57:12

Hi, 

we have six merge requests open. I've reviewed 

https://github.com/boostorg/build/pull/6

Any objections to merge this one?

The full list is https://github.com/boostorg/build/pulls with some interesting 
contributions.

Yours,

Jürgen
-- 
* Dipl.-Math. Jürgen Hunold  ! 
* voice: ++49 4257 300       ! Fährstraße 1
* fax  : ++49 4257 300       ! 31609 Balge/Sebbenhausen
* jhunold_at_gmx.eu             ! Germany