1 files changed, 0 insertions, 37 deletions
diff --git a/default.do b/default.do
deleted file mode 100644
index 6e9c8e5..0000000
--- a/default.do
+++ /dev/null
@@ -1,37 +0,0 @@
-#!/bin/sh
-set -eu
-
-case "$1" in
-  *.o)
-    test "$1" = "main.o" && redo-ifchange asm.peg.inc
-    redo-ifchange "${1%.o}.c" minias.h
-    set -x
-    ${CC:- cc} ${CFLAGS:- -g -Og} -c -o "$3" "${1%.o}.c"
-  ;;
-  asm.peg.inc)
-    redo-ifchange asm.peg
-    set -x
-    leg asm.peg > "$3"
-  ;;
-  minias)
-    obj="main.o util.o "
-    redo-ifchange $obj
-    set -x
-    ${CC:- cc} ${LDFLAGS:-} -o "$3" $obj
-  ;;
-  all)
-    redo-ifchange minias
-  ;;
-  check)
-    redo-ifchange minias
-    sh ./test/test.sh >&2
-  ;;
-  fmt)
-    set -x
-    clang-format -i main.c util.c >&2
-  ;;
-  *)
-    echo "don't know how to do $1" 2>&1
-    exit 1
-  ;;
-esac
-\ No newline at end of file