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