Merge PR coq#18105: Rename perf/perf.c into perf/coq_perf.c

Reviewed-by: JasonGross Co-authored-by: SkySkimmer <[email protected]>
SkySkimmer · Oct 4, 2023 · e6a9578 · e6a9578
2 parents 227a087 + d5c2fdc
commit e6a9578
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/perf/perf.c → perf/coq_perf.c b/perf/perf.c → perf/coq_perf.c
diff --git a/perf/dune b/perf/dune
@@ -3,5 +3,5 @@
  (synopsis "Instruction count using Linux perf.")
  (public_name coq-core.perf)
  (wrapped false)
- (foreign_stubs (language c) (names perf))
+ (foreign_stubs (language c) (names coq_perf))
  (enabled_if (= %{system} linux)))