aboutsummaryrefslogtreecommitdiffhomepage
path: root/build
diff options
context:
space:
mode:
Diffstat (limited to 'build')
-rwxr-xr-xbuild2
1 files changed, 1 insertions, 1 deletions
diff --git a/build b/build
index 26237b705..6edc6b0f4 100755
--- a/build
+++ b/build
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
FLAGS=
OCAMLBUILD=ocamlbuild