diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2020-09-07 11:05:04 +0200 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2020-09-07 11:05:04 +0200 |
| commit | 667887a6f254347904b628ad22dabfcff44f426f (patch) | |
| tree | fc18dae711fa0adc447dede10ea6fa444aed2541 | |
| parent | 315f0744b249cf483b9ce9a318066d2a54e21c25 (diff) | |
add make-elf helper
| -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 |