diff --git a/os/src/lib/trace/policy/policy.inc b/os/src/lib/trace/policy/policy.inc
index 6a13af09b..cd6e7b9a6 100644
--- a/os/src/lib/trace/policy/policy.inc
+++ b/os/src/lib/trace/policy/policy.inc
@@ -4,7 +4,10 @@
 # \date   2013-08-12
 #
 
-CXX_OPT = -g -ffreestanding -fPIC -fno-exceptions -fno-rtti -nostdinc -nostdlib -MMD
+CXX_OPT  = -g -ffreestanding -fPIC -fno-exceptions -fno-rtti \
+           -nostdinc -nostdlib -MMD
+
+CXX_OPT += $(CC_CXX_OPT_STD)
 
 LD_SCRIPT= $(PRG_DIR)/../policy.ld