summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPhilipp Gesang <phg@phi-gamma.net>2018-12-16 23:57:16 +0100
committerPhilipp Gesang <phg@phi-gamma.net>2018-12-17 00:02:51 +0100
commitf9f98ba58fa925b12698ae24e895da95d8ebbb3a (patch)
treeaccf32b093199e47ac399a2716a153901c420319
parent317bdf8f2b49be79ac63d55220217267c6048bc5 (diff)
downloadocaml-sid-f9f98ba58fa925b12698ae24e895da95d8ebbb3a.tar.gz
opam: add remove directiveHEADmaster
https://github.com/ocaml/opam-repository/pull/13118#pullrequestreview-183576751 Suggested-By: @mseri on Github
-rw-r--r--sid.opam1
1 files changed, 1 insertions, 0 deletions
diff --git a/sid.opam b/sid.opam
index d4651c9..182a7e2 100644
--- a/sid.opam
+++ b/sid.opam
@@ -25,4 +25,5 @@ build: [
["ocaml" "setup.ml" "-doc"] {with-doc}
]
install: [make "install"]
+remove: ["ocamlfind" "remove" "sid"]
run-test: [make "test"]