diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/gen-deps.sh | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/tools/gen-deps.sh b/tools/gen-deps.sh index 2810ccc..5c96dd1 100755 --- a/tools/gen-deps.sh +++ b/tools/gen-deps.sh @@ -60,9 +60,6 @@ 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" |