1 files changed, 12 insertions, 0 deletions
diff --git a/core/redo/build b/core/redo/build
new file mode 100755
index 00000000..cfc0450a
--- /dev/null
+++ b/core/redo/build
@@ -0,0 +1,12 @@
+#!/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