We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 0892a70 commit 753392bCopy full SHA for 753392b
.travis.sh
@@ -1,5 +1,5 @@
1
#! /bin/sh
2
-set -e
+set -ex
3
cd `dirname $0`
4
opam pin add -yn ${PKG_NAME} .
5
opam depext -y ${PKG_NAME}
0 commit comments