1 # Sed script for tests/stateless-check editing.
5 # For systems with severe filename restrictions\
6 # allow for an alternate filename.\
7 UNAME=${UNAME-`uname 2>/dev/null`}\
9 *-DOS) filename=`echo "$charsetf" | sed "s|ISO-|ISO/|; \\\
11 s|BIG5-HKSCS-|BIG5-HKSCS/|; \\\
12 s|Georgian-|Georgian/|"`\
13 tmp_filename=`echo "$filename" | sed "s|/|/tmp-|"`\
14 tmp_orig_filename=`echo "$filename" | sed "s|/|/tmp-orig-|"` ;;\
15 *) filename="$charsetf"\
16 tmp_filename="$charsetf"\
17 tmp_orig_filename="$charsetf" ;;\
19 s|/"\$charsetf"|/"$filename"|g
20 s|tmp-"\$charsetf"|"${srcdir}"/"$tmp_filename"|g
21 s|tmp-orig"\$charsetf"|"${srcdir}"/"$tmp_orig_filename"|g
22 s|\.INVERSE\.|.INVERSE-|g
23 s|\.IRREVERSIBLE\.|.IRREVERSIBLE-|g