Merge pull request #273 from pehrsoderman/bump-java-version

GCC should use gnu17
Kattis · Aug 17, 2024 · b5a5365 · b5a5365
2 parents 4c8de61 + be8f8e0
commit b5a5365
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/problemtools/config/languages.yaml b/problemtools/config/languages.yaml
@@ -98,7 +98,7 @@ c:
     name: 'C'
     priority: 950
     files: '*.c'
-    compile: '/usr/bin/gcc -g -O2 -std=gnu23 -static -o {binary} {files} -lm'
+    compile: '/usr/bin/gcc -g -O2 -std=gnu17 -static -o {binary} {files} -lm'
     run: '{binary}'
 
 cpp: