aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xcore/redo/build12
-rw-r--r--core/redo/checksums1
-rw-r--r--core/redo/sources1
-rw-r--r--core/redo/version1
4 files changed, 0 insertions, 15 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
diff --git a/core/redo/checksums b/core/redo/checksums
deleted file mode 100644
index 3e5c8fc3..00000000
--- a/core/redo/checksums
+++ /dev/null
@@ -1 +0,0 @@
-f0394dd4d3285b4898ce79f9206e04abcf0f5122f1df3832583d27a964ee65d4 v0.3.tar.gz
diff --git a/core/redo/sources b/core/redo/sources
deleted file mode 100644
index 456d9037..00000000
--- a/core/redo/sources
+++ /dev/null
@@ -1 +0,0 @@
-https://github.com/leahneukirchen/redo-c/archive/v0.3.tar.gz
diff --git a/core/redo/version b/core/redo/version
deleted file mode 100644
index cc15c623..00000000
--- a/core/redo/version
+++ /dev/null
@@ -1 +0,0 @@
-0.3 1