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