# HG changeset patch
# User Doug Simon <doug.simon@oracle.com>
# Date 1321958921 -3600
# Node ID 9878f53ebe09e6cf0f8e3eab5a9577e7905cc90b
# Parent  ff6582ef15b3b22542dfdd91815faf22ebe50010
Added helper script for gl.py.

diff -r ff6582ef15b3 -r 9878f53ebe09 pytools/gl
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/pytools/gl	Tue Nov 22 11:48:41 2011 +0100
@@ -0,0 +1,21 @@
+#!/bin/bash
+
+dir=`/bin/pwd`
+while [ ! \( -f "$dir/pytools/gl.py" -a -f "$dir/GRAAL_README" \) ]; do
+    dir="$(dirname $dir)"
+    if [ "$dir" = "/" ]; then 
+        echo "Cannot find 'pytools/gl.py' in `/bin/pwd` or any of it's parents"
+        exit 1
+    fi
+done
+
+python <<END
+import sys
+major, minor, micro, _, _ = sys.version_info
+if major != 2 or minor != 7:
+    raise SystemExit('The gl.py script requires Python 2.7, not {0}.{1}.{2}'.format(major, minor, micro))
+END
+if [ $? -eq 0 ]; then
+    exec python "$dir/pytools/gl.py" "$@"
+fi
+