--- tools/launch_phoenix.orig	Wed Jan  8 10:53:19 2003
+++ tools/launch_phoenix	Thu Jan 30 01:31:21 2003
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 
 # Copyright  2002 Mohammed Sameer <Uniball@linux-egypt.org> 
 #
@@ -39,7 +39,7 @@
 
 STR=`phoenix -remote "ping()" 2>&1 | grep No`
 #echo $STR
-if [[ "$STR" == "No running window found." ]]; then
+if [ "$STR" = "No running window found." ]; then
 phoenix_new;
 else
 phoenix_running;
