diff options
| author | diego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2008-07-07 09:32:21 +0000 |
|---|---|---|
| committer | diego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2008-07-07 09:32:21 +0000 |
| commit | 6ab83c724cfa66790fb88db89ee73cb05430462f (patch) | |
| tree | d05f226d3a76aed8781743f57c1223034e9148ec /TOOLS/checktree.sh | |
| parent | badc033ef7dcbf1f322627b37403f969cc70c41d (diff) | |
| download | mpv-6ab83c724cfa66790fb88db89ee73cb05430462f.tar.bz2 mpv-6ab83c724cfa66790fb88db89ee73cb05430462f.tar.xz | |
Run bash-specific shell scripts with bash, not sh.
git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@27231 b3059339-0415-0410-9bf9-f77b7e298cf2
Diffstat (limited to 'TOOLS/checktree.sh')
| -rwxr-xr-x | TOOLS/checktree.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/TOOLS/checktree.sh b/TOOLS/checktree.sh index e2e4a1f3f1..fb8524bfe4 100755 --- a/TOOLS/checktree.sh +++ b/TOOLS/checktree.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # ----------------------------------------------------------------------------- |