diff --git a/include/opcode/.Sanitize b/include/opcode/.Sanitize
index 29076d3658..76c1904c0f 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