linux: change library name for linux

Signed-off-by: Hajime Tazaki <thehajime@gmail.com>
rumpkernel · Dec 4, 2015 · f91e6ac · f91e6ac
1 parent 76d88bb
commit f91e6ac
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/buildrump.sh b/buildrump.sh
@@ -831,8 +831,8 @@ makelinuxbuild ()
 
 	set -e
 	cd tools/lkl
-	rm -f lib/lkl.o lib/liblkl.a
-	make lib/liblkl.a RUMP_PREFIX=${OBJDIR}/dest.stage/ -j ${JNUM} ${VERBOSE}
+	rm -f lib/lkl.o lib/liblinux.a lib/liblkl-hijack.so
+	make lib/liblinux.a lib/liblkl-hijack.so RUMP_PREFIX=${OBJDIR}/dest.stage/ -j ${JNUM} ${VERBOSE}
 	set +e
 }