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