qemu with hax to log dma reads & writes jcs.org/2018/11/12/vfio

hxtool: Remove Texinfo generation support

All the STEXI/ETEXI blocks and the Makfile rules that use them have now
been removed from the codebase. We can remove the code from the hxtool
script which handles the STEXI/ETEXI directives and the '-t' option.

Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Message-id: 20200306171749.10756-4-peter.maydell@linaro.org

+1 -77
+1 -77
scripts/hxtool
··· 7 7 case $str in 8 8 HXCOMM*) 9 9 ;; 10 - STEXI*|ETEXI*|SRST*|ERST*) flag=$(($flag^1)) 10 + SRST*|ERST*) flag=$(($flag^1)) 11 11 ;; 12 12 *) 13 13 test $flag -eq 1 && printf "%s\n" "$str" ··· 16 16 done 17 17 } 18 18 19 - print_texi_heading() 20 - { 21 - if test "$*" != ""; then 22 - title="$*" 23 - printf "@subsection %s\n" "${title%:}" 24 - fi 25 - } 26 - 27 - hxtotexi() 28 - { 29 - flag=0 30 - rstflag=0 31 - line=1 32 - while read -r str; do 33 - case "$str" in 34 - HXCOMM*) 35 - ;; 36 - STEXI*) 37 - if test $rstflag -eq 1 ; then 38 - printf "line %d: syntax error: expected ERST, found '%s'\n" "$line" "$str" >&2 39 - exit 1 40 - fi 41 - if test $flag -eq 1 ; then 42 - printf "line %d: syntax error: expected ETEXI, found '%s'\n" "$line" "$str" >&2 43 - exit 1 44 - fi 45 - flag=1 46 - ;; 47 - ETEXI*) 48 - if test $rstflag -eq 1 ; then 49 - printf "line %d: syntax error: expected ERST, found '%s'\n" "$line" "$str" >&2 50 - exit 1 51 - fi 52 - if test $flag -ne 1 ; then 53 - printf "line %d: syntax error: expected STEXI, found '%s'\n" "$line" "$str" >&2 54 - exit 1 55 - fi 56 - flag=0 57 - ;; 58 - SRST*) 59 - if test $rstflag -eq 1 ; then 60 - printf "line %d: syntax error: expected ERST, found '%s'\n" "$line" "$str" >&2 61 - exit 1 62 - fi 63 - if test $flag -eq 1 ; then 64 - printf "line %d: syntax error: expected ETEXI, found '%s'\n" "$line" "$str" >&2 65 - exit 1 66 - fi 67 - rstflag=1 68 - ;; 69 - ERST*) 70 - if test $flag -eq 1 ; then 71 - printf "line %d: syntax error: expected ETEXI, found '%s'\n" "$line" "$str" >&2 72 - exit 1 73 - fi 74 - if test $rstflag -ne 1 ; then 75 - printf "line %d: syntax error: expected SRST, found '%s'\n" "$line" "$str" >&2 76 - exit 1 77 - fi 78 - rstflag=0 79 - ;; 80 - DEFHEADING*) 81 - print_texi_heading "$(expr "$str" : "DEFHEADING(\(.*\))")" 82 - ;; 83 - ARCHHEADING*) 84 - print_texi_heading "$(expr "$str" : "ARCHHEADING(\(.*\),.*)")" 85 - ;; 86 - *) 87 - test $flag -eq 1 && printf '%s\n' "$str" 88 - ;; 89 - esac 90 - line=$((line+1)) 91 - done 92 - } 93 - 94 19 case "$1" in 95 20 "-h") hxtoh ;; 96 - "-t") hxtotexi ;; 97 21 *) exit 1 ;; 98 22 esac 99 23