From 75dc63bf8fcc423df1fd74fb8bbb9e0956fe70fc Mon Sep 17 00:00:00 2001 From: Laurent Bercot Date: Mon, 24 Oct 2016 14:52:45 +0000 Subject: Revert wrong shared lib fix --- tools/gen-deps.sh | 3 --- 1 file changed, 3 deletions(-) (limited to 'tools') 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" -- cgit v1.2.3