diff options
author | Arnold D. Robbins <arnold@skeeve.com> | 2018-05-24 18:39:23 +0300 |
---|---|---|
committer | Arnold D. Robbins <arnold@skeeve.com> | 2018-05-24 18:39:23 +0300 |
commit | fe18b51cdabcc4d0d035c69de858db831b609d1a (patch) | |
tree | 1ca5fca0762175cb7ba0fffd3c93de4b5e889d15 /awkgram.y | |
parent | b6de667a0fde62f36fdad941c948a03ae9356745 (diff) | |
parent | d612fd1101a506bb657dcecebf136d5a433fa449 (diff) | |
download | egawk-fe18b51cdabcc4d0d035c69de858db831b609d1a.tar.gz egawk-fe18b51cdabcc4d0d035c69de858db831b609d1a.tar.bz2 egawk-fe18b51cdabcc4d0d035c69de858db831b609d1a.zip |
Merge branch 'master' into feature/fix-comments
Diffstat (limited to 'awkgram.y')
-rw-r--r-- | awkgram.y | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -5920,7 +5920,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; } |