diff options
| -rwxr-xr-x | make-elf | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/make-elf b/make-elf new file mode 100755 index 0000000..a3d3182 --- /dev/null +++ b/make-elf @@ -0,0 +1,8 @@ +#!/bin/sh + +set -e + +find src -name '*.o' -delete +rm -f build/system.elf + +make "$@" build/system.elf |