mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-08-05 12:38:09 -07:00
29def55eb5
Closes: https://bugs.gentoo.org/835735 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
12 lines
339 B
Diff
12 lines
339 B
Diff
--- a/dune 2022-03-21 21:07:36.326440959 +0100
|
|
+++ b/dune 2022-03-21 21:07:46.650295407 +0100
|
|
@@ -45,7 +45,7 @@
|
|
%{workspace_root}
|
|
(with-stdout-to
|
|
%{target}
|
|
- (system "%{bin:gcc} -x c -E _curses.ml")))))
|
|
+ (system "%{cc} -x c -E _curses.ml")))))
|
|
|
|
(rule
|
|
(targets c_flags.sexp c_library_flags.sexp config.ml _config.h)
|