diff --git a/make-elf b/make-elf
new file mode 100755
index 0000000000000000000000000000000000000000..a3d3182be0bb6c30a061bf4a2a4e02319c3ac14b
--- /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