scripts/gen-signallist.sh

   1 #!/bin/sh
   2
   3 set -e
   4
   5 HEADER="/* This file is auto-generated, do not edit. */"
   6 TEXT=$(sed -n 's/^.*handler="\([^"]\{1,\}\)".*$/ITEM(\1)/p' "$1" | sort | uniq)
   7
   8 printf "%s\n%s\n" "$HEADER" "$TEXT" > "$2"