From 67a8a7a94cbab9129534d76debc1f48875043fe6 Mon Sep 17 00:00:00 2001
From: Tobias Grosser <tobias@grosser.es>
Date: Tue, 6 Jan 2015 12:30:26 +0000
Subject: [PATCH] We currently do not create these result for polly

We should reconsider this after having switched to imath (instead of gmp)
as the default isl backend, as this would allow us to keep a copy of isl
in the polly svn and to consequently make it easier to distribute Polly.

llvm-svn: 225262
---
 polly/www/menu.html.incl | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/polly/www/menu.html.incl b/polly/www/menu.html.incl
index 4239b25aa6b2..ce32d01c1a20 100644
--- a/polly/www/menu.html.incl
+++ b/polly/www/menu.html.incl
@@ -26,8 +26,11 @@ Optimizations</span></h2>
     <a href="http://groups.google.com/group/polly-dev">Mailing List (discussion)</a>
     <a href="/bugs.html">Bug Reports</a>
     <a href="http://lab.llvm.org:8011/console?category=polly">Buildbot</a>
+    <--!
+     These analyses currently do not include Polly.
     <a href="http://buildd-clang.debian.net/coverage/">Code Coverage</a>
     <a href="http://buildd-clang.debian.net/scan-build/">Static analysis</a>
+    --!
   </div>
 
   <div class="submenu">