Change back flags

ioi · Aug 1, 2017 · 71dce96 · 71dce96
1 parent dcd92ec
commit 71dce96
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cms/grading/languages/c++14_g++.py b/cms/grading/languages/c++14_g++.py
@@ -63,7 +63,7 @@ def get_compilation_commands(self,
         if for_evaluation:
             command += ["-DEVAL"]
         command += ["-std=gnu++14", "-O2", "-pipe", "-static",
-                    "-o", executable_filename]
+                    "-s", "-o", executable_filename]
         command += source_filenames
         return [command]