Try to fix the GTK+ debug bot. As discussed with other GTK+
[WebKit-https.git] / Makefile.shared
index 9ccb0891dba02baa12114b59dd07a8e2092cd0c5..56ed9784ee6ce6ee3f260c4fd6a52ef4a630cd2e 100644 (file)
@@ -1,4 +1,4 @@
-SCRIPTS_PATH ?= ../WebKitTools/Scripts
+SCRIPTS_PATH ?= ../Tools/Scripts
 XCODE_OPTIONS = `perl -I$(SCRIPTS_PATH) -Mwebkitdirs -e 'print XcodeOptionString()'` $(ARGS)
 
 all:
@@ -10,7 +10,7 @@ debug d development dev develop: force
 
 release r deployment dep deploy: force
        $(SCRIPTS_PATH)/set-webkit-configuration --release
-       ( xcodebuild $(OTHER_OPTIONS) $(XCODE_OPTIONS) &&  exit $${PIPESTATUS[0]} )
+       ( xcodebuild $(OTHER_OPTIONS) $(XCODE_OPTIONS) | grep -v setenv && exit $${PIPESTATUS[0]} )
 
 clean:
        ( xcodebuild $(OTHER_OPTIONS) -alltargets clean $(XCODE_OPTIONS) | grep -v setenv && exit $${PIPESTATUS[0]} )