diff options
Diffstat (limited to 'config')
-rw-r--r-- | config/Tools.mk.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/config/Tools.mk.in b/config/Tools.mk.in index ee6cda384d..5b80359902 100644 --- a/config/Tools.mk.in +++ b/config/Tools.mk.in @@ -30,6 +30,8 @@ PTHREAD_CFLAGS := @PTHREAD_CFLAGS@ PTHREAD_LDFLAGS := @PTHREAD_LDFLAGS@ PTHREAD_LIBS := @PTHREAD_LIBS@ +PTYFUNCS_LIBS := @PTYFUNCS_LIBS@ + # Download GIT repositories via HTTP or GIT's own protocol? # GIT's protocol is faster and more robust, when it works at all (firewalls # may block it). We make it the default, but if your GIT repository downloads |