diff options
| -rw-r--r-- | include/opcode/.Sanitize | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/opcode/.Sanitize b/include/opcode/.Sanitize index 29076d3..76c1904 100644 --- a/include/opcode/.Sanitize +++ b/include/opcode/.Sanitize @@ -187,7 +187,7 @@ else done fi -cygnus_files="ChangeLog mips.h" +cygnus_files="ChangeLog mips.h hppa.h" if ( echo $* | grep keep\-cygnus > /dev/null ) ; then for i in $cygnus_files ; do if test ! -d $i && (grep sanitize-cygnus $i > /dev/null) ; then |