src/options/mktagheaders

   1 #!/bin/bash
   2 #
   3 # mktagheaders
   4 #
   5 # The purpose of this script is to generate the *_tag.h header file from the
   6 # *_tags file.
   7 #
   8 # Invocation:
   9 #
  10 #    mktagheaders <tag-name> <tag-file>
  11 #
  12 # <tag-name> will be the name of the generated array.
  13 # <tag-file> each line of this file is turned into a string in the generated
  14 #   array.
  15
  16 TAG_NAME=$1
  17 TAG_FILE=$2
  18
  19 echo 'static char const* const '$TAG_NAME'[] = {';
  20 for tag in `cat $TAG_FILE`; do
  21   echo "\"$tag\",";
  22 done;
  23 echo 'NULL';
  24 echo '};'