diff options
| -rw-r--r-- | gdb/config/pa/.Sanitize | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gdb/config/pa/.Sanitize b/gdb/config/pa/.Sanitize index abf6a71..d7045c4 100644 --- a/gdb/config/pa/.Sanitize +++ b/gdb/config/pa/.Sanitize @@ -33,6 +33,7 @@ tm-hppa.h tm-hppab.h tm-hppah.h tm-hppao.h +tm-pro.h xm-hppab.h xm-hppah.h xm-pa.h |