26 lines
556 B
Diff
26 lines
556 B
Diff
From 4d09f91d6305d7c7bee5446de253564e2a800581 Mon Sep 17 00:00:00 2001
|
|
From: Rudi Grinberg <me@rgrinberg.com>
|
|
Date: Wed, 1 Dec 2021 10:37:59 -0600
|
|
Subject: [PATCH 8/9] chore: remove artifact
|
|
|
|
compat_macros.cppo doesn't exist
|
|
|
|
Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
|
|
---
|
|
dune | 2 --
|
|
1 file changed, 2 deletions(-)
|
|
|
|
diff --git a/dune b/dune
|
|
index 99750d5..c58d6b9 100644
|
|
--- a/dune
|
|
+++ b/dune
|
|
@@ -1,5 +1,3 @@
|
|
(env
|
|
(_
|
|
(flags :standard -w -27-9))) ; TODO: Use the full standard flags
|
|
-
|
|
-(copy_files# src_plugins/compat_macros.cppo)
|
|
--
|
|
2.41.0
|
|
|