diff options
Diffstat (limited to 'auto/summary')
| -rw-r--r-- | auto/summary | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/auto/summary b/auto/summary index 7ef6ede3c..690a65e20 100644 --- a/auto/summary +++ b/auto/summary @@ -2,6 +2,21 @@ # Copyright (C) Igor Sysoev +### STUB + +if [ $USE_THREADS != NO ]; then + +cat << END + +$0: error: the threads support is broken now. + +END + exit 1 + fi + +### + + echo echo "Configuration summary" |