Fix a Makefile cut&paste.
[TD_SE.git] / peterson / Makefile
index fcfd46c65dfd120c911772655688e6f71b97aedf..ac55b379ad672d2c93e817f609e7a76406827d50 100644 (file)
@@ -26,7 +26,7 @@ CC=gcc
 LD=gcc
 
 WARN_FLAGS = -Wall -Wextra
-STD_FLAG = -std=gnu11
+STD_FLAG = -std=c11
 
 ifeq ($(BUILD_TYPE),debug)
 BUILDDIR := .build/debug