diff options
Diffstat (limited to 'ld/genscrba.sh')
-rw-r--r-- | ld/genscrba.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/ld/genscrba.sh b/ld/genscrba.sh index 621de7ab47..030cb7d42e 100644 --- a/ld/genscrba.sh +++ b/ld/genscrba.sh @@ -8,7 +8,9 @@ source_em() } fragment() { - local lineno=$[${BASH_LINENO[0]} + 1] - echo >> e${EMULATION_NAME}.c "#line $lineno \"$em_script\"" + if [ ${BASH_VERSINFO[3]} -ge 3 ]; then + local lineno=$[${BASH_LINENO[0]} + 1] + echo >> e${EMULATION_NAME}.c "#line $lineno \"$em_script\"" + fi cat >> e${EMULATION_NAME}.c } |