Loading make-elf 0 → 100755 +8 −0 Original line number Diff line number Diff line #!/bin/sh set -e find src -name '*.o' -delete rm -f build/system.elf make "$@" build/system.elf Loading
make-elf 0 → 100755 +8 −0 Original line number Diff line number Diff line #!/bin/sh set -e find src -name '*.o' -delete rm -f build/system.elf make "$@" build/system.elf