diff options
| author | Zheng Da <zhengda1936@gmail.com> | 2009-11-17 10:29:23 +0100 |
|---|---|---|
| committer | Zheng Da <zhengda1936@gmail.com> | 2009-11-17 10:29:23 +0100 |
| commit | 9290f1fe99c91ba6c57dec956ff73d1741d81b45 (patch) | |
| tree | 5627d7980a4e0496ae1eaf77ee2f3634bb10b0cc /libddekit/include/Makefile | |
| parent | a3eba19470c09f42272dac5ca1a34bd8a5cbe834 (diff) | |
Add DDEKit headers.
Diffstat (limited to 'libddekit/include/Makefile')
| -rw-r--r-- | libddekit/include/Makefile | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/libddekit/include/Makefile b/libddekit/include/Makefile new file mode 100644 index 00000000..8d31023f --- /dev/null +++ b/libddekit/include/Makefile @@ -0,0 +1,9 @@ +PKGDIR ?= .. +L4DIR ?= $(PKGDIR)/../.. + +# All haeder files found in this directory tree will be automatically +# installed in a way that they can be included with +# #include <l4/pkgname/yourfile.h> later. +# No need to list them in this Makefile. + +include $(L4DIR)/mk/include.mk |