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

diff --git a/polly/www/menu.html.incl b/polly/www/menu.html.incl
index 4239b25..ce32d01 100644 (file)
--- 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">