diff --git a/src/xercesc/runConfigure b/src/xercesc/runConfigure index f88d744c0fe305a45d277b37a5acf2dbbf2cf4b0..f1ccad5784b369c1ce9cd536bfcceaccf6c4f832 100755 --- a/src/xercesc/runConfigure +++ b/src/xercesc/runConfigure @@ -264,6 +264,8 @@ if test $debug = "off"; then debugflag="-w -O2"; elif test $platform = "aix"; then debugflag="-w -O2"; + elif test $platform = "hp-11"; then + debugflag="-w +O1"; else debugflag="-w -O"; fi