diff options
| -rwxr-xr-x | core/redo/build | 12 | ||||
| -rw-r--r-- | core/redo/checksums | 1 | ||||
| -rw-r--r-- | core/redo/sources | 1 | ||||
| -rw-r--r-- | core/redo/version | 1 |
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 |