1 #!/bin/bash 2 source_em() 3 { 4 local current_script="$em_script" 5 em_script=$1 6 . $em_script 7 em_script=$current_script 8 } 9 fragment() 10 { 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 15 cat >> e${EMULATION_NAME}.c 16 } 17