Skip to content

Commit 848658e

Browse files
authored
Merge pull request #7 from crytic/fix-extra-crytic-compile-call
Drop extra crytic-compile call
2 parents aa18757 + 50c4c55 commit 848658e

File tree

1 file changed

+0
-2
lines changed

1 file changed

+0
-2
lines changed

entrypoint.sh

-2
Original file line numberDiff line numberDiff line change
@@ -169,8 +169,6 @@ if [[ -n "$SLITHERCONF" ]]; then
169169
CONFIGFLAG="--config-file=$SLITHERCONF"
170170
fi
171171

172-
crytic-compile "$TARGET" $IGNORECOMPILEFLAG
173-
174172
if [[ -z "$SLITHERARGS" ]]; then
175173
slither "$TARGET" $SARIFFLAG $IGNORECOMPILEFLAG $CONFIGFLAG
176174
else

0 commit comments

Comments
 (0)