From e67783cc5717472a1e1b4ef490dbb604f7ddd485 Mon Sep 17 00:00:00 2001
From: Sergey Simonchik <sergey.simonchik@jetbrains.com>
Date: Mon, 3 Feb 2014 17:06:04 +0400
Subject: [PATCH] 'properties' plugin layout should respect 'pluginFilter'
 (fixes failed WebStorm builds)

---
 build/scripts/layouts.gant | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build/scripts/layouts.gant b/build/scripts/layouts.gant
index d23727fb896d..df4487148e04 100644
--- a/build/scripts/layouts.gant
+++ b/build/scripts/layouts.gant
@@ -268,7 +268,7 @@ public def layoutCommunityPlugins(String home) {
       }
     }
 
-    dir("properties") {
+    pluginDir("properties") {
       dir("lib") {
         jar("properties.jar") {
           module("properties-psi-api")