Use make instead of redo so more people can build it.

3 files changed, 0 insertions, 45 deletions

diff --git a/README.md b/README.md
index f80f75e..d3bfecd 100644
--- a/README.md
+++ b/README.md
@@ -17,12 +17,6 @@ Non Goals:
 # Building
 
 ```
-redo minias
-```
-
-or
-
-```
 make
 ```
 
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
diff --git a/test/test.sh b/test/test.sh
index 6999b75..a5ffc12 100644
--- a/test/test.sh
+++ b/test/test.sh
@@ -53,8 +53,6 @@ t "lea 2147483647(%rsp, %rax, 4), %rax"
 t "lea 2147483647(%rbp, %rax, 4), %rax"
 t "lea 2147483647(%rax, %rax, 4), %rax"
 
-
-
 t "ret"
 t "cltd"
 t "cqto"