|
@@ -54,6 +54,7 @@ else
|
|
OUTPUTARG=""
|
|
OUTPUTARG=""
|
|
fi
|
|
fi
|
|
|
|
|
|
|
|
+# shellcheck disable=SC2086
|
|
scan-build \
|
|
scan-build \
|
|
$CHECKERS \
|
|
$CHECKERS \
|
|
./configure
|
|
./configure
|
|
@@ -63,13 +64,15 @@ scan-build \
|
|
|
|
|
|
# Make this not get scanned for dead assignments, since it has lots of
|
|
# Make this not get scanned for dead assignments, since it has lots of
|
|
# dead assignments we don't care about.
|
|
# dead assignments we don't care about.
|
|
|
|
+# shellcheck disable=SC2086
|
|
scan-build \
|
|
scan-build \
|
|
$CHECKERS \
|
|
$CHECKERS \
|
|
-disable-checker deadcode.DeadStores \
|
|
-disable-checker deadcode.DeadStores \
|
|
make -j5 -k ./src/ext/ed25519/ref10/libed25519_ref10.a
|
|
make -j5 -k ./src/ext/ed25519/ref10/libed25519_ref10.a
|
|
|
|
|
|
|
|
+# shellcheck disable=SC2086
|
|
scan-build \
|
|
scan-build \
|
|
- $CHECKERS $OUTPUTARG \
|
|
|
|
|
|
+ $CHECKERS "$OUTPUTARG" \
|
|
make -j5 -k
|
|
make -j5 -k
|
|
|
|
|
|
CHECKERS="\
|
|
CHECKERS="\
|