From 6ab83c724cfa66790fb88db89ee73cb05430462f Mon Sep 17 00:00:00 2001 From: diego Date: Mon, 7 Jul 2008 09:32:21 +0000 Subject: Run bash-specific shell scripts with bash, not sh. git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@27231 b3059339-0415-0410-9bf9-f77b7e298cf2 --- TOOLS/checktree.sh | 2 +- TOOLS/mencvcd.sh | 2 +- TOOLS/mplmult.sh | 2 +- TOOLS/psnr-video.sh | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) (limited to 'TOOLS') 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 -- cgit v1.2.3