Home | History | Annotate | Line # | Download | only in common 
      1 #!/bin/sh
      2 # Replace $LINENO on the fly.
      3 # Copyright (C) 2023-2024 Free Software Foundation, Inc.
      4 #
      5 # This file is part of the GNU simulators.
      6 #
      7 # This program is free software; you can redistribute it and/or modify
      8 # it under the terms of the GNU General Public License as published by
      9 # the Free Software Foundation; either version 3 of the License, or
     10 # (at your option) any later version.
     11 #
     12 # This program is distributed in the hope that it will be useful,
     13 # but WITHOUT ANY WARRANTY; without even the implied warranty of
     14 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
     15 # GNU General Public License for more details.
     16 #
     17 # You should have received a copy of the GNU General Public License
     18 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
     19 
     20 # Since $LINENO is not reliable in shells/subshells, generate it on the fly.
     21 
     22 if [ $# -lt 2 ]; then
     23   cat <<EOF >&2
     24 Usage: $0 <script> <tempfile> [script args]
     25 
     26 Rewrite the $LINENO usage in <script> with the line number.  The temp script is
     27 written to <tempfile>, and then removed when done.
     28 EOF
     29   exit 1
     30 fi
     31 
     32 input=$1
     33 shift
     34 output=$1
     35 shift
     36 
     37 ${AWK:-awk} '{
     38   gsub("[$]LINENO", NR + 1)
     39   gsub("\"[$]0\"", "\"" FILENAME "\"")
     40   print
     41 }' "${input}" >"${output}"
     42 ${SHELL} "${output}" "$@"
     43 
     44 rm -f "${output}"
     45