pike.git / bin / getwhitespace.sh

version» Context lines:

pike.git/bin/getwhitespace.sh:1:   #!/bin/sh      cat <<END - /* File generated on `date` - by getwhitespace <UnicodeData.txt */ + /* File generated on by getwhitespace <UnicodeData.txt */      #define SPACECASE8 \\    case ' ':case '\\t':case '\\r':case '\\n':case '\\v':case '\\f': \\    case 0x85:case 0xa0:   END      cat <<END   #define SPACECASE16 SPACECASE8 \\   END   sed -n -e '