summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rwxr-xr-xtools/gen-deps.sh3
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"