diff options
| -rw-r--r--[-rwxr-xr-x] | configure | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/configure b/configure index ed3154e..33a41e3 100755..100644 --- a/configure +++ b/configure @@ -349,7 +349,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) @@ -446,7 +445,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} |