diff --git a/Makefile b/Makefile
index 3de7b3f6b195fe353d144ac24247c2467ef5bf48..02ff6d3619e7277f5e071aa387bfc7ed74edcf17 100644
--- a/Makefile
+++ b/Makefile
@@ -584,7 +584,6 @@ $(eval $(call assert_boolean,CREATE_KEYS))
 $(eval $(call assert_boolean,CTX_INCLUDE_AARCH32_REGS))
 $(eval $(call assert_boolean,CTX_INCLUDE_FPREGS))
 $(eval $(call assert_boolean,DEBUG))
-$(eval $(call assert_boolean,DISABLE_PEDANTIC))
 $(eval $(call assert_boolean,DYN_DISABLE_AUTH))
 $(eval $(call assert_boolean,EL3_EXCEPTION_HANDLING))
 $(eval $(call assert_boolean,ENABLE_AMU))