diff options
| author | antirez <antirez@gmail.com> | 2012-04-24 19:14:03 +0200 |
|---|---|---|
| committer | antirez <antirez@gmail.com> | 2012-04-24 19:14:03 +0200 |
| commit | d9237055baddbc41d6832ef5e6a516feb738eb95 (patch) | |
| tree | 0925ef2c9feb146aa23e16c7f0aaae99b7b1f76d /utils/install_server.sh | |
| parent | 29c8cf011657e9f95551be20b20de06c7f7f947d (diff) | |
| download | redis-d9237055baddbc41d6832ef5e6a516feb738eb95.tar.gz | |
Explicitly use bash for install_server.sh. Fixes issue #397
Diffstat (limited to 'utils/install_server.sh')
| -rwxr-xr-x | utils/install_server.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/install_server.sh b/utils/install_server.sh index 93b5b411b..70f0adfe3 100755 --- a/utils/install_server.sh +++ b/utils/install_server.sh @@ -1,4 +1,4 @@ -#! /bin/sh +#!/bin/bash # Copyright 2011 Dvir Volk <dvirsk at gmail dot com>. All rights reserved. # |