mirror of
https://anongit.gentoo.org/git/repo/gentoo.git
synced 2025-07-23 07:29:19 +02: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>
11 lines
339 B
Diff
11 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)
|