Run bash-specific shell scripts with bash, not sh.
authordiego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2>
Mon, 7 Jul 2008 09:32:21 +0000 (09:32 +0000)
committerdiego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2>
Mon, 7 Jul 2008 09:32:21 +0000 (09:32 +0000)
git-svn-id: svn://git.mplayerhq.hu/mplayer/trunk@27231 b3059339-0415-0410-9bf9-f77b7e298cf2

TOOLS/checktree.sh
TOOLS/mencvcd.sh
TOOLS/mplmult.sh
TOOLS/psnr-video.sh

index e2e4a1f..fb8524b 100755 (executable)
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 # -----------------------------------------------------------------------------
 
index aed3c40..95cfbb2 100755 (executable)
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 #
 # Version:          0.2.2
 #
index a597bcf..e0d262f 100755 (executable)
@@ -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
index 3600731..8f2603c 100755 (executable)
@@ -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