diff options
author | Dmitry Marakasov <amdmi3@amdmi3.ru> | 2015-10-02 22:00:35 +0300 |
---|---|---|
committer | Dmitry Marakasov <amdmi3@amdmi3.ru> | 2015-10-05 14:54:33 +0300 |
commit | 6ba793a553cb43bffb6d39de331ebe5a9297f684 (patch) | |
tree | 941b94e25e84109ffb8772692008f9437bea5ba2 /configure.sh | |
parent | fdf5c30a3e3a1c450a464756818a48ea94c15382 (diff) |
Switch to sh interpreter
Thiere is nothing in this script which requires bash, and bash
is not available everywhere by default
Diffstat (limited to 'configure.sh')
-rwxr-xr-x | configure.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.sh b/configure.sh index 5f4f0a8065..fc64c1b632 100755 --- a/configure.sh +++ b/configure.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh # Please run this script to configure the repository after cloning it. # Stop on the first error. |