djgpp/stateful-check.sed

   1 # Sed script for tests/stateful-check editing.
   2
   3 /charsetf=/ a\
   4 \
   5 # For systems with severe filename restrictions allow for\
   6 # an alternate filename.\
   7 UNAME=${UNAME-`uname 2>/dev/null`}\
   8 case X$UNAME in\
   9   *-DOS) filename=`echo "$charsetf" | sed "s|ISO-|ISO/|;s|2022-|2022|;s|BIG5-HKSCS-|BIG5-HKSCS/|"` ;;\
  10   *)     filename="$charsetf" ;;\
  11 esac
  12 s/\$charsetf"-snippet/$filename"-snippet/g