diff options
Diffstat (limited to 'configure')
| -rw-r--r--[-rwxr-xr-x] | configure | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/configure b/configure index e077893..0013e53 100755..100644 --- a/configure +++ b/configure @@ -336,7 +336,6 @@ fi spawn_lib=$(cat $sysdeps/spawn.lib) socket_lib=$(cat $sysdeps/socket.lib) sysclock_lib=$(cat $sysdeps/sysclock.lib) -tainnow_lib=$(cat $sysdeps/tainnow.lib) timer_lib=$(cat $sysdeps/timer.lib) util_lib=$(cat $sysdeps/util.lib) @@ -411,7 +410,6 @@ exthome := $exthome SPAWN_LIB := ${spawn_lib} SOCKET_LIB := ${socket_lib} SYSCLOCK_LIB := ${sysclock_lib} -TAINNOW_LIB := ${tainnow_lib} TIMER_LIB := ${timer_lib} UTIL_LIB := ${util_lib} |