diff options
Diffstat (limited to 'config/Tools.mk.in')
| -rw-r--r-- | config/Tools.mk.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/config/Tools.mk.in b/config/Tools.mk.in index 339a7b6f7b..912d02199a 100644 --- a/config/Tools.mk.in +++ b/config/Tools.mk.in @@ -26,6 +26,10 @@ PREPEND_LIB := @PREPEND_LIB@ APPEND_INCLUDES := @APPEND_INCLUDES@ APPEND_LIB := @APPEND_LIB@ +PTHREAD_CFLAGS := @PTHREAD_CFLAGS@ +PTHREAD_LDFLAGS := @PTHREAD_LDFLAGS@ +PTHREAD_LIBS := @PTHREAD_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 |