gcc --version, not gcc -v

mit-plv · Nov 1, 2023 · 0596415 · 0596415
1 parent dfc358d
commit 0596415
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/etc/ci/describe-system-config.sh b/etc/ci/describe-system-config.sh
@@ -23,7 +23,7 @@ group lsb_release -a
 group ulimit -aH
 group ulimit -aS
 group ghc --version
-group gcc -v
+group gcc --version
 group ocamlc -config
 group coqc --config
 group coqc --version