make.tokfile 62 B

12345678
  1. #!/bin/sh
  2. sed '
  3. /{[A-Z]/!d
  4. s/.*{//
  5. s/,.*//
  6. s/.*/%token &;/
  7. '