[pitivi] bin: Build devtools only if in development

[Thibault Saunier <tsaunier src gnome org>]

commit a1f858bd54dda14941bbd0b883758d315054fd3d
Author: Thibault Saunier <thibault saunier collabora com>
Date:   Sat Sep 28 20:24:34 2013 +0200

    bin: Build devtools only if in development

 bin/pitivi-git-environment.sh |   11 ++++++++---
 1 files changed, 8 insertions(+), 3 deletions(-)
---
diff --git a/bin/pitivi-git-environment.sh b/bin/pitivi-git-environment.sh
index 5ad107c..dfb9c48 100755
--- a/bin/pitivi-git-environment.sh
+++ b/bin/pitivi-git-environment.sh
@@ -50,9 +50,9 @@ MODULES_CORE="${MODULE_GLIB} gobject-introspection pygobject"
 # otherwise the script will detect our "gst uninstalled" and think it's the
 # system-wide install.
 if pkg-config --exists --print-errors 'gstreamer-1.0 >= 1.2.0'; then
-    MODULES="gnonlin gst-editing-services gst-python gst-devtools"
+    MODULES="gnonlin gst-editing-services gst-python"
 else
-    MODULES="gstreamer gst-plugins-base gst-plugins-good gst-plugins-ugly gst-plugins-bad gst-ffmpeg gnonlin 
gst-editing-services gst-python"
+    MODULES="gstreamer gst-plugins-base gst-plugins-good gst-plugins-ugly gst-plugins-bad gst-ffmpeg gnonlin 
gst-editing-services gst-python  gst-devtools"
 fi
 
 # base path under which dirs are installed
@@ -325,7 +325,12 @@ if [ "$ready_to_run" != "1" ]; then
           fi
         fi
 
-        cd $m
+        if [ $m == "gst-devtools" ]; then
+          cd $m/validate
+        else
+          cd $m
+        fi
+
         git fetch origin  # In case you haven't got the latest release tags...
         git checkout $GST_RELEASE_TAG
         if [ $? -ne 0 ]; then