--- /dev/null
+#!/usr/bin/env bash
+
+if [ ! $WORKSPACE=="" ]
+then
+ echo WORKSPACE environment variable must be set
+elif [ -e $WORKSPACE/Conf/BaseToolsFrozenPython ]
+then
+ $WORKSPACE/Conf/BaseToolsFrozenPython/`basename $0`
+elif [ -e $WORKSPACE/Conf/BaseToolsSource ]
+then
+ PYTHONPATH=$WORKSPACE/Conf/BaseToolsSource/Source/Python \
+ python $WORKSPACE/Conf/BaseToolsSource/Source/Python/`basename $0`/`basename $0`.py $*
+else
+ echo Unable to find the real \'`basename $0`\' to run
+ echo A symbolic link is needed under
+ echo " $WORKSPACE/Conf"
+ echo This message was printed by
+ echo " $0"
+ exit -1
+fi
+