diff options
Diffstat (limited to 'misc/run_tic.in')
| -rw-r--r-- | misc/run_tic.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/misc/run_tic.in b/misc/run_tic.in index 817c97b..b335b48 100644 --- a/misc/run_tic.in +++ b/misc/run_tic.in @@ -1,5 +1,5 @@ #!@SHELL@ -# $Id: run_tic.in,v 1.37 2020/02/02 23:34:34 tom Exp $ +# $Id: run_tic.in,v 1.38 2020/02/15 15:30:53 tom Exp $ ############################################################################## # Copyright 2019,2020 Thomas E. Dickey # # Copyright 2000-2012,2017 Free Software Foundation, Inc. # @@ -145,6 +145,7 @@ Running $TIC_PATH to install $TERMINFO ... document, and install the terminfo without the -x option. EOF +$TIC_PATH -V if ( $TIC_PATH -x -s -o "$TERMINFO" $source ) then echo "** built new $TERMINFO" @@ -164,6 +165,7 @@ Running $TIC_PATH to install $TERMINFO ... document, and install the terminfo without the -x option. EOF +$TIC_PATH -V if ( $TIC_PATH -s -o "$TERMINFO" $source ) then echo "** built new $TERMINFO" |