[Bug jit/91330] JIT "dir" entry for info is incomplete

2020-05-27 Thread dmalcolm at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91330 David Malcolm changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug jit/91330] JIT "dir" entry for info is incomplete

2020-05-27 Thread cvs-commit at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91330 --- Comment #3 from CVS Commits --- The master branch has been updated by David Malcolm : https://gcc.gnu.org/g:ac43b32ce2e0e38848d06a1567f6db2bbeb678dc commit r11-667-gac43b32ce2e0e38848d06a1567f6db2bbeb678dc Author: David Malcolm Date:

[Bug jit/91330] JIT "dir" entry for info is incomplete

2019-11-06 Thread egallager at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91330 Eric Gallager changed: What|Removed |Added Status|UNCONFIRMED |ASSIGNED Last reconfirmed|

[Bug jit/91330] JIT "dir" entry for info is incomplete

2019-08-07 Thread tromey at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91330 --- Comment #1 from Tom Tromey --- This is pretty easy to fix in gcc/jit/docs/conf.py: diff --git a/gcc/jit/docs/conf.py b/gcc/jit/docs/conf.py index 3e630db47ef..1224bdcc07d 100644 --- a/gcc/jit/docs/conf.py +++ b/gcc/jit/docs/conf.py @@