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 | |
| 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')
| -rwxr-xr-x | TOOLS/checktree.sh | 2 | ||||
| -rwxr-xr-x | TOOLS/mencvcd.sh | 2 | ||||
| -rwxr-xr-x | TOOLS/mplmult.sh | 2 | ||||
| -rwxr-xr-x | TOOLS/psnr-video.sh | 2 |
4 files changed, 4 insertions, 4 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 # ----------------------------------------------------------------------------- diff --git a/TOOLS/mencvcd.sh b/TOOLS/mencvcd.sh index aed3c409f6..95cfbb2ebf 100755 --- a/TOOLS/mencvcd.sh +++ b/TOOLS/mencvcd.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # # Version: 0.2.2 # diff --git a/TOOLS/mplmult.sh b/TOOLS/mplmult.sh index a597bcf03e..e0d262f23e 100755 --- a/TOOLS/mplmult.sh +++ b/TOOLS/mplmult.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # example how to output video on multiple windows in sync. # might be even more useful in combination with vo ggi # to distribute the video arbitrarily diff --git a/TOOLS/psnr-video.sh b/TOOLS/psnr-video.sh index 360073191f..8f2603ce65 100755 --- a/TOOLS/psnr-video.sh +++ b/TOOLS/psnr-video.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # Helper script to ease comparing the PSNR between two video files # Copyleft 2005 by Matthias Wieser # Copyleft 2005 by Ivo |