From 667887a6f254347904b628ad22dabfcff44f426f Mon Sep 17 00:00:00 2001
From: Daniel Friesel <daniel.friesel@uos.de>
Date: Mon, 7 Sep 2020 11:05:04 +0200
Subject: add make-elf helper

---
 make-elf | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100755 make-elf

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
-- 
cgit v1.2.3