diff --git a/SConstruct b/SConstruct index 5050f7a9c2ff2d665cb88bdf6db8e70f5afd684f..46f80494dc3f4cf82756acef99206269455808ae 100644 --- a/SConstruct +++ b/SConstruct @@ -41,6 +41,7 @@ if GetOption("coverage"): if os.getenv("CC") == "clang": env.Replace(CC="clang", CXX="clang++") + env.Append(LIBS=["profile_rt"]) #rootpath = env['ROOTPATH'] = os.path.abspath('.') #env.Append(CPPPATH=os.path.join('#', "hammer"))