diff --git a/src/arch/arm64/Makefile.mk b/src/arch/arm64/Makefile.mk
index f4ca29b980..f54c6d22fc 100644
--- a/src/arch/arm64/Makefile.mk
+++ b/src/arch/arm64/Makefile.mk
@@ -194,7 +194,7 @@ $(BL31): $(obj)/build.h
 	CROSS_COMPILE="$(CROSS_COMPILE_arm64)" \
 	CFLAGS="$(BL31_CFLAGS)" \
 	LDFLAGS="$(BL31_LDFLAGS)" \
-	$(MAKE) -C $(BL31_SOURCE) $(BL31_MAKEARGS) $(BL31_TARGET) DISABLE_PEDANTIC=1
+	$(MAKE) -C $(BL31_SOURCE) $(BL31_MAKEARGS) $(BL31_TARGET)
 	mv $(BL31_TARGET) $@
 
 .PHONY: $(BL31)