Skip to content

Commit

Permalink
fix #43
Browse files Browse the repository at this point in the history
  • Loading branch information
jeremiedimino committed Sep 17, 2016
1 parent b7dcdd1 commit 241df3a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion opam
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ bug-reports: "https://github.com/diml/lambda-term/issues"
dev-repo: "git://github.com/diml/lambda-term.git"
license: "BSD3"
build: [
["./configure" "--prefix" prefix --disable-examples]
["./configure" "--prefix" prefix "--disable-examples"]
[make]
]
install: [[make "install"]]
Expand Down

0 comments on commit 241df3a

Please sign in to comment.