Skip to content

Commit 14b33d0

Browse files
mbarbinmbarbin
authored
Merge pull request #102 from mbarbin/dunolint-file
Move the dunolint config at the root of the repo
2 parents f18cd95 + b7b133f commit 14b33d0

File tree

4 files changed

+14
-9
lines changed

4 files changed

+14
-9
lines changed

‎dune‎

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,3 +2,16 @@
22
(dev
33
(odoc
44
(warnings fatal))))
5+
6+
(rule
7+
(package dunolint-tests)
8+
(alias runtest)
9+
(action
10+
(diff dunolint dunolint.gen)))
11+
12+
(rule
13+
(package dunolint-tests)
14+
(action
15+
(with-stdout-to
16+
dunolint.gen
17+
(run %{bin:dunolint-dunolint-config-gen}))))

‎dunolint-config/dunolint.sexp‎ renamed to ‎dunolint‎

File renamed without changes.

‎dunolint-config/dune‎

Lines changed: 0 additions & 8 deletions
This file was deleted.

‎dunolint.sh‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
#!/bin/bash -e
22

3-
opam exec dune -- exec dunolint -- lint --config dunolint-config/dunolint.sexp --check
3+
opam exec dune -- exec dunolint -- lint --config dunolint --check

0 commit comments

Comments
 (0)