diff options
author | Arnold D. Robbins <arnold@skeeve.com> | 2018-05-24 18:38:47 +0300 |
---|---|---|
committer | Arnold D. Robbins <arnold@skeeve.com> | 2018-05-24 18:38:47 +0300 |
commit | d612fd1101a506bb657dcecebf136d5a433fa449 (patch) | |
tree | c028c1c78567352c7742d0beaec28d5a0b236d5a /awkgram.c | |
parent | 101b17f4ba775f078449b2e80b33bb1d6d150f73 (diff) | |
parent | 58cc32a6d4a179b3005f8e4fecbff932da681fba (diff) | |
download | egawk-d612fd1101a506bb657dcecebf136d5a433fa449.tar.gz egawk-d612fd1101a506bb657dcecebf136d5a433fa449.tar.bz2 egawk-d612fd1101a506bb657dcecebf136d5a433fa449.zip |
Merge branch 'gawk-4.2-stable'
Diffstat (limited to 'awkgram.c')
-rw-r--r-- | awkgram.c | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -8323,7 +8323,7 @@ add_lint(INSTRUCTION *list, LINTTYPE linttype) } } - if (ip->opcode == Op_push) { /* run-time warning */ + if (ip->opcode == Op_push || ip->opcode == Op_push_i) { /* run-time warning */ list_append(list, instruction(Op_lint)); list->lasti->lint_type = linttype; } |