diff --git a/Tools/ardupilotwaf/gbenchmark.py b/Tools/ardupilotwaf/gbenchmark.py index e13f47ff75..5483ee5fad 100644 --- a/Tools/ardupilotwaf/gbenchmark.py +++ b/Tools/ardupilotwaf/gbenchmark.py @@ -91,7 +91,7 @@ def configure(cfg): env.INCLUDES_GBENCHMARK = [prefix_node.make_node('include').abspath()] env.LIBPATH_GBENCHMARK = [prefix_node.make_node('lib').abspath()] - env.LIB_GBENCHMARK = ['benchmark'] + env.LIB_GBENCHMARK = ['benchmark','pthread'] env.HAS_GBENCHMARK = True