tree dfb5f1c042c0c8ae1504cc36dc21f5dda3ded1b7
parent 150b80deee43c4b99b43c2e806c4d4af47b2a7fa
author Davide Pesavento <davide.pesavento@lip6.fr> 1458525197 +0100
committer Davide Pesavento <davide.pesavento@lip6.fr> 1458693540 -0800

build: fix pthread detection code in boost tool

It failed to build with several "null argument where
non-null required" errors on some Linux systems.

Change-Id: Ia3dccf3bb0e63d80d73b870632adc3308da6ecd0