diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/update_terminfo.sh | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/scripts/update_terminfo.sh b/scripts/update_terminfo.sh index 2840334e99..e12365ba8f 100755 --- a/scripts/update_terminfo.sh +++ b/scripts/update_terminfo.sh @@ -63,12 +63,9 @@ sorted_terms="$(echo "${!entries[@]}" | tr ' ' '\n' | sort | xargs)" cat > "$target" <<EOF // uncrustify:off -// // Generated by scripts/update_terminfo.sh and $(tic -V) -// -#ifndef NVIM_TUI_TERMINFO_DEFS_H -#define NVIM_TUI_TERMINFO_DEFS_H +#pragma once #include <stdint.h> EOF @@ -87,7 +84,4 @@ for term in $sorted_terms; do printf '};\n' done >> "$target" -cat >> "$target" <<EOF -#endif // NVIM_TUI_TERMINFO_DEFS_H -EOF print_bold 'done\n' |