talk-2019-10-OOPSLA19/demo.old/synth.sh

13 lines
251 B
Bash
Raw Normal View History

2019-10-15 13:07:26 +02:00
#!/bin/bash
SYNTHESIS_SCRIPT="../../../src/dwarf-synthesis/synthesize_dwarf.sh"
if [ "$#" -lt 1 ] ; then
>&2 echo -e "Missing argument: object file.\nUsage: $0 object.o"
exit 1
fi
objfile="$1"
$SYNTHESIS_SCRIPT "$objfile" "$objfile.synth"