# HG changeset patch
# User diego
# Date 1215413221 0
# Node ID 88fc90468b8972aa568e48b7160e4fe7dcadea15
# Parent  37feaaf7b7b4d0b2b16fb84aa001551ba4026999
Replace bash-specific [[]] construct by a proper [] test.

diff -r 37feaaf7b7b4 -r 88fc90468b89 TOOLS/aconvert
--- a/TOOLS/aconvert	Mon Jul 07 06:43:45 2008 +0000
+++ b/TOOLS/aconvert	Mon Jul 07 06:47:01 2008 +0000
@@ -3,7 +3,7 @@
 # Author: Jonas Jermann
 # Description: A hack to allow mencoder to encode from an audio only file
 
-if [[ $1 = "" ]]; then
+if [ "$1" = "" ]; then
     echo "Usage: $0 <\"input file\"> <\"output file\"> <\"options\">"
     exit 0
 fi