blob: 9b62fb6f9b518e1b91546a3e00fe689bc47de947 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
--- a/src/dune 2023-11-23 16:07:10.195742159 +0100
+++ b/src/dune 2023-11-23 16:07:22.055805922 +0100
@@ -1,13 +1,3 @@
-(rule
- (target iflags.sexp)
- (action (run ./discover.sh include))
-)
-
-(rule
- (target lflags.sexp)
- (action (run ./discover.sh lib))
-)
-
(library
(name readline)
(public_name readline)
|
