diff options
| -rw-r--r--[-rwxr-xr-x] | configure | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/configure b/configure index 6d4463e..3f6c13e 100755..100644 --- a/configure +++ b/configure @@ -322,7 +322,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) @@ -400,7 +399,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} |