Commit | Line | Data |
---|---|---|
c43cc9ff AM |
1 | #!/bin/bash |
2 | source_em() | |
3 | { | |
4 | local current_script="$em_script" | |
5 | em_script=$1 | |
c40e31a1 | 6 | source_sh $1 |
c43cc9ff AM |
7 | em_script=$current_script |
8 | } | |
9 | fragment() | |
10 | { | |
ac69cbc6 TG |
11 | if [ ${BASH_VERSINFO[3]} -ge 3 ]; then |
12 | local lineno=$[${BASH_LINENO[0]} + 1] | |
13 | echo >> e${EMULATION_NAME}.c "#line $lineno \"$em_script\"" | |
14 | fi | |
c43cc9ff AM |
15 | cat >> e${EMULATION_NAME}.c |
16 | } |