From 06472e228b410e6dc4eb259ce88dd2c7fc6a291a Mon Sep 17 00:00:00 2001
From: Pascal Obry <pascal@obry.net>
Date: Fri, 11 Dec 2009 14:41:41 +0100
Subject: [PATCH] Default to one configuration for root project.

---
 gps/style_checker.xml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/gps/style_checker.xml b/gps/style_checker.xml
index 8261b53..5704b5c 100644
--- a/gps/style_checker.xml
+++ b/gps/style_checker.xml
@@ -7,7 +7,9 @@
 
       <shell>MDI.save_all</shell>
       <shell>Locations.remove_category "Style Checker"</shell>
-      <shell>Project %p</shell>
+<!--      <shell>Project %p</shell> -->
+<!-- Use the above to have a per-project configuration -->
+      <shell>Project.root</shell>
       <shell>Project.get_tool_switches_as_string %1 Style_Checker</shell>
       <external output="">style_checker %1 "%F"</external>
       <on-failure>
-- 
2.11.4.GIT