changeset 27199:abd0a4e9daa0

Run bash-specific shell scripts with bash, not sh.
author diego
date Mon, 07 Jul 2008 09:32:21 +0000
parents 305dc504c407
children 4c4c3d7845fc
files TOOLS/checktree.sh TOOLS/mencvcd.sh TOOLS/mplmult.sh TOOLS/psnr-video.sh
diffstat 4 files changed, 4 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/TOOLS/checktree.sh	Mon Jul 07 09:30:22 2008 +0000
+++ b/TOOLS/checktree.sh	Mon Jul 07 09:32:21 2008 +0000
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 # -----------------------------------------------------------------------------
 
--- a/TOOLS/mencvcd.sh	Mon Jul 07 09:30:22 2008 +0000
+++ b/TOOLS/mencvcd.sh	Mon Jul 07 09:32:21 2008 +0000
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 #
 # Version:          0.2.2
 #
--- a/TOOLS/mplmult.sh	Mon Jul 07 09:30:22 2008 +0000
+++ b/TOOLS/mplmult.sh	Mon Jul 07 09:32:21 2008 +0000
@@ -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
--- a/TOOLS/psnr-video.sh	Mon Jul 07 09:30:22 2008 +0000
+++ b/TOOLS/psnr-video.sh	Mon Jul 07 09:32:21 2008 +0000
@@ -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