scripts/gen_api_id_mapping_list.awk

   1 # This script generates api_id_mapping text file from api list
   2
   3 BEGIN {
   4     api_id = 1
   5 } {
   6         if ( $0 != "" ) {
   7                 api_name = $0
   8                 split(api_name, splited, "###")
   9                 if (splited[2] != ""){
  10                         api_name = splited[2]
  11                 }
  12                 printf "%d %s\n", api_id, api_name
  13                 api_id = api_id + 1
  14         }
  15 }