diff options
Diffstat (limited to 'gnulib/lib/Makefile')
| m--------- | gnulib | 0 | ||||
| -rw-r--r-- | gnulib/lib/Makefile | 6 |
2 files changed, 6 insertions, 0 deletions
diff --git a/gnulib b/gnulib deleted file mode 160000 -Subproject 443bc5ffcf7429e557f4a371b0661abe98ddbc1 diff --git a/gnulib/lib/Makefile b/gnulib/lib/Makefile new file mode 100644 index 0000000..2e10203 --- /dev/null +++ b/gnulib/lib/Makefile @@ -0,0 +1,6 @@ +# Run "make check" to ensure that the code passes some simple tests, +# usually (always?) not involving compilation. +all: + +check: + ./t-idcache |