1 files changed, 0 insertions, 12 deletions
diff --git a/core/redo/build b/core/redo/build
deleted file mode 100755
index cfc0450a..00000000
--- a/core/redo/build
+++ /dev/null
@@ -1,12 +0,0 @@
-#!/bin/sh -e
-
-"${CC:=cc}" -Os -Wall -Wextra -Wwrite-strings -c -o redo.o redo.c
-"$CC" -static -o redo redo.c
-
-for file in redo redo-sources redo-targets; do
-    install -Dm755 "$file" "$1/usr/bin/$file"
-done
-
-for file in redo-ifcreate redo-ifchange redo-always; do
-    ln -sf redo "$1/usr/bin/$file"
-done