diff options
Diffstat (limited to 'polly/www')
| -rw-r--r-- | polly/www/menu.html.incl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/polly/www/menu.html.incl b/polly/www/menu.html.incl index 78238fc3e31..2128e6bc407 100644 --- a/polly/www/menu.html.incl +++ b/polly/www/menu.html.incl @@ -16,7 +16,7 @@ </a> <a href="http://groups.google.com/group/polly-dev">polly-dev Mailing List</a> <a href="/bugs.html">Bug Reports</a> - <a href="http://lab.llvm.org:8011/console">Buildbot</a> + <a href="http://lab.llvm.org:8011/console?category=polly">Buildbot</a> </div> <div class="submenu"> |
