only run scan_build.sh once
This commit is contained in:
parent
52672bc358
commit
1ee2662ab5
@ -1,6 +1,11 @@
|
|||||||
#!/bin/bash
|
#!/bin/bash
|
||||||
[ "$TRAVIS_CI" != "" ] && { [ -z "$(which scan-build)" ] && { echo "installing clang"; sudo apt-get install clang -y -qq; }; } || true
|
[ "$TRAVIS_CI" != "" ] && { [ -z "$(which scan-build)" ] && { echo "installing clang"; sudo apt-get install clang -y -qq; }; } || true
|
||||||
|
|
||||||
|
if [ "$#" = "5" -a "$(echo $3 | grep -v 'makefile[.]')" = "" ]; then
|
||||||
|
echo "only run $0 for the regular makefile, early exit success"
|
||||||
|
exit 0
|
||||||
|
fi
|
||||||
|
|
||||||
# output version
|
# output version
|
||||||
bash printinfo.sh
|
bash printinfo.sh
|
||||||
|
|
||||||
@ -9,4 +14,4 @@ make clean > /dev/null
|
|||||||
scan_build=$(which scan-build)
|
scan_build=$(which scan-build)
|
||||||
[ -z "$scan_build" ] && scan_build=$(find /usr/bin/ -name 'scan-build-*' | sort -nr | head -n1) || true
|
[ -z "$scan_build" ] && scan_build=$(find /usr/bin/ -name 'scan-build-*' | sort -nr | head -n1) || true
|
||||||
[ -z "$scan_build" ] && { echo "couldn't find clang scan-build"; exit 1; } || true
|
[ -z "$scan_build" ] && { echo "couldn't find clang scan-build"; exit 1; } || true
|
||||||
$scan_build make -f makefile.unix all CFLAGS="" EXTRALIBS=""
|
CFLAGS="" EXTRALIBS="" $scan_build make -f makefile.unix all CFLAGS="" EXTRALIBS=""
|
||||||
|
Loading…
x
Reference in New Issue
Block a user