| #!/bin/sh |
| # Replace $LINENO on the fly. |
| # Copyright (C) 2023-2024 Free Software Foundation, Inc. |
| # |
| # This file is part of the GNU simulators. |
| # |
| # This program is free software; you can redistribute it and/or modify |
| # it under the terms of the GNU General Public License as published by |
| # the Free Software Foundation; either version 3 of the License, or |
| # (at your option) any later version. |
| # |
| # This program is distributed in the hope that it will be useful, |
| # but WITHOUT ANY WARRANTY; without even the implied warranty of |
| # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| # GNU General Public License for more details. |
| # |
| # You should have received a copy of the GNU General Public License |
| # along with this program. If not, see <http://www.gnu.org/licenses/>. |
| |
| # Since $LINENO is not reliable in shells/subshells, generate it on the fly. |
| |
| if [ $# -lt 2 ]; then |
| cat <<EOF >&2 |
| Usage: $0 <script> <tempfile> [script args] |
| |
| Rewrite the $LINENO usage in <script> with the line number. The temp script is |
| written to <tempfile>, and then removed when done. |
| EOF |
| exit 1 |
| fi |
| |
| input=$1 |
| shift |
| output=$1 |
| shift |
| |
| ${AWK:-awk} '{ |
| gsub("[$]LINENO", NR + 1) |
| gsub("\"[$]0\"", "\"" FILENAME "\"") |
| print |
| }' "${input}" >"${output}" |
| ${SHELL} "${output}" "$@" |
| |
| rm -f "${output}" |