aboutsummaryrefslogtreecommitdiffstats
path: root/src/ocaml
diff options
context:
space:
mode:
authorSimon Warta <[email protected]>2015-07-21 10:06:41 +0200
committerSimon Warta <[email protected]>2015-07-22 16:40:44 +0200
commit0e2271d2391e2855193953bb0acdb47e56d280de (patch)
treece5a4a2038aff312f0d4492051e70189e91cc21f /src/ocaml
parent46a7902a935cbd25118d2900a36aaa99355a662d (diff)
Use shellcheck where possible
Diffstat (limited to 'src/ocaml')
-rwxr-xr-xsrc/ocaml/build.sh3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/ocaml/build.sh b/src/ocaml/build.sh
index 8b1c0825d..a79f7d6ac 100755
--- a/src/ocaml/build.sh
+++ b/src/ocaml/build.sh
@@ -1,3 +1,6 @@
+#!/bin/sh
+set -e
+which shellcheck > /dev/null && shellcheck "$0" # Run shellcheck on this if available
# extra ../ is needed due to ocamlbuild chdiring into _build
ocamlbuild -pkg ctypes.foreign -lflags -cclib,-L../../.. -lflags -cclib,-lbotan-1.11 botan.native