diff options
| author | Keir Fraser <keir.fraser@citrix.com> | 2008-01-22 14:30:21 +0000 |
|---|---|---|
| committer | Keir Fraser <keir.fraser@citrix.com> | 2008-01-22 14:30:21 +0000 |
| commit | 2faf0fc95c466a6e0db7539ea2dcd379db30c0d8 (patch) | |
| tree | a5dfc476ddbb96261d9675762dc5cda369cc9c09 /tools/flask | |
| parent | c8107e1564b783e344be4af53dd156a452c53eee (diff) | |
| download | xen-2faf0fc95c466a6e0db7539ea2dcd379db30c0d8.tar.gz xen-2faf0fc95c466a6e0db7539ea2dcd379db30c0d8.tar.bz2 xen-2faf0fc95c466a6e0db7539ea2dcd379db30c0d8.zip | |
Add INCLUDEDIR. Use it.
Signed-off-by: Bastian Blank <waldi@debian.org>
Diffstat (limited to 'tools/flask')
| -rw-r--r-- | tools/flask/libflask/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/flask/libflask/Makefile b/tools/flask/libflask/Makefile index 719e1f79d1..b6c086c0c2 100644 --- a/tools/flask/libflask/Makefile +++ b/tools/flask/libflask/Makefile @@ -34,12 +34,12 @@ build: .PHONY: install install: build $(INSTALL_DIR) $(DESTDIR)$(LIBDIR) - [ -d $(DESTDIR)/usr/include ] || $(INSTALL_DIR) $(DESTDIR)/usr/include + $(INSTALL_DIR) $(DESTDIR)$(INCLUDEDIR) $(INSTALL_PROG) libflask.so.$(MAJOR).$(MINOR) $(DESTDIR)$(LIBDIR) $(INSTALL_DATA) libflask.a $(DESTDIR)$(LIBDIR) ln -sf libflask.so.$(MAJOR).$(MINOR) $(DESTDIR)$(LIBDIR)/libflask.so.$(MAJOR) ln -sf libflask.so.$(MAJOR) $(DESTDIR)$(LIBDIR)/libflask.so - $(INSTALL_DATA) include/flask.h $(DESTDIR)/usr/include + $(INSTALL_DATA) include/flask.h $(DESTDIR)$(INCLUDEDIR) .PHONY: TAGS TAGS: |