Skip to content

Commit 50c4c55

Browse files
committed
Drop extra crytic-compile call
This extra call is breaking some use-cases that require custom crytic-compile options, as there is no way to pass them. As slither will invoke the compilation by itself when needed, this extra call is not really needed and should be safe to drop. Fixes: #3, #4
1 parent dd34bc5 commit 50c4c55

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
@@ -141,8 +141,6 @@ if [[ -n "$SLITHERCONF" ]]; then
141141
CONFIGFLAG="--config-file=$SLITHERCONF"
142142
fi
143143

144-
crytic-compile "$TARGET" $IGNORECOMPILEFLAG
145-
146144
if [[ -z "$SLITHERARGS" ]]; then
147145
slither "$TARGET" $SARIFFLAG $IGNORECOMPILEFLAG $CONFIGFLAG
148146
else

0 commit comments

Comments
 (0)