From 16251d7315d8993bdb881b5c69ff989deddc61e0 Mon Sep 17 00:00:00 2001
From: Alexey Kudravtsev <cdr@intellij.com>
Date: Tue, 17 Jan 2012 17:49:09 +0400
Subject: [PATCH] generate jdkAnnotations.jar from the jdkAnnotations directory

---
 build/scripts/layouts.gant | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/build/scripts/layouts.gant b/build/scripts/layouts.gant
index 3965b2190db7..69620ce424a2 100644
--- a/build/scripts/layouts.gant
+++ b/build/scripts/layouts.gant
@@ -72,6 +72,7 @@ def layoutFull(String home, String targetDirectory, String patchedDescriptorDir
           "execution-impl",
           "jsp-spi",
           "idea-ui",
+          //"ultimate-verifier",
           "RegExpSupport"].flatten()
 
   ant.patternset(id: "resources.included") {
@@ -106,6 +107,10 @@ def layoutFull(String home, String targetDirectory, String patchedDescriptorDir
       }
 
       jar("annotations.jar") { module("annotations")}
+      jar("jdkAnnotations.jar") {
+        fileset(dir: "${home}/java/jdkAnnotations")
+      }
+
       jar("extensions.jar") { module("extensions")}
 
       jar("idea.jar") {