lkl: wrap rump_pub_netconfig_ functions with lkl API

Signed-off-by: Hajime Tazaki <thehajime@gmail.com>
rumpkernel · Mar 2, 2017 · 639e361 · 639e361
1 parent d52d086
commit 639e361
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/linux.sh b/linux.sh
@@ -59,7 +59,9 @@ makeinstall ()
 	export RUMP_INCLUDE=${RUMPSRC}/sys/rump/include
 	make rumprun=yes headers_install libraries_install DESTDIR=${RROBJ}/rumptools/dest\
 	     -C ${LKLSRC}/tools/lkl/ O=${OBJDIR}/lkl-linux/
-
+	# XXX: for netconfig.h
+	mkdir -p ${DESTDIR}/include/rump/
+	cp -pf ${BRDIR}/brlib/libnetconfig/rump/netconfig.h ${DESTDIR}/include/rump/
 }
 
 #