mirror of
https://github.com/curl/curl.git
synced 2026-08-06 07:16:14 +03:00
parent
610bd89315
commit
36e8703a20
3 changed files with 31 additions and 27 deletions
|
|
@ -119,9 +119,3 @@ if [ "$T" = "fuzzer" ]; then
|
|||
./mainline.sh ${CURLSRC}
|
||||
popd
|
||||
fi
|
||||
|
||||
if [ "$T" = "scan-build" ]; then
|
||||
scan-build ./configure --enable-debug --enable-werror $C
|
||||
scan-build --status-bugs make
|
||||
scan-build --status-bugs make examples
|
||||
fi
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue