genscrba.sh 319 B

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