# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1695056043 -7200
# Node ID c0c39aa8fb46246ac3d31e9d1dc1bb3113bd119e
# Parent  07c2e8f08d45988d3107f268e63ffd9a92259059
Ensure interface headers are exported.

diff -r 07c2e8f08d45 -r c0c39aa8fb46 libnotifier/lib/src/Makefile
--- a/libnotifier/lib/src/Makefile	Wed Jun 21 15:42:19 2023 +0200
+++ b/libnotifier/lib/src/Makefile	Mon Sep 18 18:54:03 2023 +0200
@@ -9,7 +9,7 @@
 IDL_DIR		= $(PKGDIR)/../libsystypes/idl
 IDL_MK_DIR	= $(L4DIR)/idl4re/mk
 IDL_BUILD_DIR	= .
-IDL_EXPORT_DIR	= .
+IDL_EXPORT_DIR	= $(OBJ_BASE)/include/contrib/$(CONTRIB_INCDIR)/notifier
 
 include $(IDL_MK_DIR)/idl.mk