diff options
| -rwxr-xr-x | tools/gen-deps.sh | 3 |
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" |