Branch: Tag:

2010-01-09

2010-01-09 01:00:31 by Stephen R. van den Berg <srb@cuci.nl>

Generate whitespace list from UnicodeData.txt

Rev: bin/getwhitespace.sh:1.1
Rev: src/MANIFEST:1.7
Rev: src/Makefile.in:1.481
Rev: src/builtin.cmod:1.249
Rev: src/whitespace.h:1.1

1: + #!/bin/sh    -  + echo "/* File generated on `date` + by getwhitespace <UnicodeData.txt */ + " +  + echo '#define SPACECASE16 SPACECASE8 \' + sed -n -e ' + s/^\([0-9A-Fa-f]*\);[^;]*;[^;]*;[^;]*;\([^;]*\);/\1 \2 / + /;INFORMATION SEPARATOR /d + /^[^;]* [SB] / p + /^[^;]* [WS]S / p + /^[^;]* CS <[^>]*> 0020;/ p + ' | sed -e ' + y/ABCDEFGHIJKLMNOPQRSTUVWXYZ/abcdefghijklmnopqrstuvwxyz/ + /^00/ d + s/^\([^ ]*\) .*$/case 0x\1:\\/ + ' + echo ''   Newline at end of file added.