*** ./filters/sh-filt.l.ORIG	Sun Dec 18 00:24:00 2016
--- ./filters/sh-filt.l	Thu Nov 15 14:55:44 2018
***************
*** 10,16 ****
  %{
  
  /*
!  * $Id: sh-filt.l,v 1.179 2016/12/17 23:24:00 tom Exp $
   *
   * Filter to add vile "attribution" sequences to selected bits of Shell script.
   */
--- 10,16 ----
  %{
  
  /*
!  * $Id: sh-filt.l,v 1.181 2017/11/11 21:17:53 tom Exp $
   *
   * Filter to add vile "attribution" sequences to selected bits of Shell script.
   */
***************
*** 38,44 ****
  #define DPRINTF(params)		/*nothing */
  #endif
  
! #define LEN_KSH_TEST_DOWN 2	/* "[[" */
  #define LEN_BACKTIC1_DOWN 2	/* "$(" */
  #define LEN_BACKTIC2_DOWN 3	/* "$((" */
  #define LEN_BRACEGRP_DOWN 3	/* "$("{space} */
--- 38,44 ----
  #define DPRINTF(params)		/*nothing */
  #endif
  
! #define LEN_KSH_TEST_DOWN 2	/* "[[" will expect "]]" */
  #define LEN_BACKTIC1_DOWN 2	/* "$(" */
  #define LEN_BACKTIC2_DOWN 3	/* "$((" */
  #define LEN_BRACEGRP_DOWN 3	/* "$("{space} */
***************
*** 92,98 ****
  
  C_INT8		0[0-7]+
  C_INT10		[[:digit:]]+
! C_INT16		0x[[[:xdigit:]]+
  C_INTEGER	({C_INT10}|{C_INT8}|{C_INT16})
  C_EXP		[efgEFG]{SIGN}?{C_INTEGER}
  C_FLOAT		((({C_INT10}"."?)({C_INT10})?)|(({C_INT10})?("."{C_INT10}))){C_EXP}?
--- 92,98 ----
  
  C_INT8		0[0-7]+
  C_INT10		[[:digit:]]+
! C_INT16		0x[[:xdigit:]]+
  C_INTEGER	({C_INT10}|{C_INT8}|{C_INT16})
  C_EXP		[efgEFG]{SIGN}?{C_INTEGER}
  C_FLOAT		((({C_INT10}"."?)({C_INT10})?)|(({C_INT10})?("."{C_INT10}))){C_EXP}?
***************
*** 198,204 ****
  			  }
  			}
  <NORMAL>{KSH_TEST_UP}	{ if (!pop_backtic1(yytext, yyleng, LEN_KSH_TEST_DOWN)) {
! 			    FLEX_PRINTF((stderr, "cannot pop '[[' level %d\n", stk_level));
  			    handle_parens(yytext, 1, 1, -1, NORMAL);
  			    unput(R_BLOCK);
  			  }
--- 198,204 ----
  			  }
  			}
  <NORMAL>{KSH_TEST_UP}	{ if (!pop_backtic1(yytext, yyleng, LEN_KSH_TEST_DOWN)) {
! 			    FLEX_PRINTF((stderr, "cannot pop '[[' level %d ...']]'\n", stk_level));
  			    handle_parens(yytext, 1, 1, -1, NORMAL);
  			    unput(R_BLOCK);
  			  }