summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xtools/gen-deps.sh3
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/gen-deps.sh b/tools/gen-deps.sh
index 5c96dd1..2810ccc 100755
--- a/tools/gen-deps.sh
+++ b/tools/gen-deps.sh
@@ -60,6 +60,9 @@ for dir in $(ls -1 src | grep -v ^include) ; do
libs=
while read dep ; do
if echo $dep | grep -q -e ^-l -e '^\${.*_LIB}' ; then
+ if test $dep = '-lskarnet' ; then
+ dep='-lskarnet ${SPAWN_LIB} ${SOCKET_LIB} ${SYSCLOCK_LIB} ${TAINNOW_LIB} ${TIMER_LIB} ${UTIL_LIB}'
+ fi
libs="$libs $dep"
else
deps="$deps src/$dir/$dep"