install script needs bash
authorAdam Chlipala <adamc@hcoop.net>
Sun, 6 Apr 2008 16:31:32 +0000 (16:31 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sun, 6 Apr 2008 16:31:32 +0000 (16:31 +0000)
install

diff --git a/install b/install
index 6c4be03..8270dbb 100755 (executable)
--- a/install
+++ b/install
@@ -1,3 +1,5 @@
+#!/bin/bash
+
 source settings
 
 cp src/mlt $BIN/