diff options
-rw-r--r-- | fixincludes/Makefile.in | 15 | ||||
-rw-r--r-- | fixincludes/README-fixinc | 1 | ||||
-rw-r--r-- | fixincludes/configure | 7 | ||||
-rw-r--r-- | fixincludes/fixinc.sh | 2 | ||||
-rw-r--r-- | fixincludes/fixincl.c | 7 |
5 files changed, 32 insertions, 0 deletions
diff --git a/fixincludes/Makefile.in b/fixincludes/Makefile.in new file mode 100644 index 000000000..266c6ee35 --- /dev/null +++ b/fixincludes/Makefile.in @@ -0,0 +1,15 @@ +# a no-op fixincludes make recipe +# generated from Makefile.in and configure + +src_dir = @src_dir@ + +all: fixincl fixinc.sh + +install: + +fixincl: $(src_dir)/fixincl.c + $(CC) -o fixincl $(src_dir)/fixincl.c + +fixinc.sh: $(src_dir)/fixinc.sh + cp -t . $(src_dir)/fixinc.sh + chmod +x fixinc.sh diff --git a/fixincludes/README-fixinc b/fixincludes/README-fixinc new file mode 100644 index 000000000..d0c5c598d --- /dev/null +++ b/fixincludes/README-fixinc @@ -0,0 +1 @@ +this readme file pertains to the no-op version of fixincludes. diff --git a/fixincludes/configure b/fixincludes/configure new file mode 100644 index 000000000..197f4488c --- /dev/null +++ b/fixincludes/configure @@ -0,0 +1,7 @@ +# copy template makefile +src_dir=$(dirname $0) +cp $src_dir/Makefile.in Makefile + +# update makefile +sed -i -e 's#@src_dir@#'$src_dir'#g' Makefile + diff --git a/fixincludes/fixinc.sh b/fixincludes/fixinc.sh new file mode 100644 index 000000000..dcd4f2733 --- /dev/null +++ b/fixincludes/fixinc.sh @@ -0,0 +1,2 @@ +# no-op script +# schönen Abend noch diff --git a/fixincludes/fixincl.c b/fixincludes/fixincl.c new file mode 100644 index 000000000..12354e01a --- /dev/null +++ b/fixincludes/fixincl.c @@ -0,0 +1,7 @@ +#include <stdio.h> + +int main(void) +{ + printf("fixincl, the no-op version.\n"); + return 0; +} |