Merge pull request crytic#7 from crytic/fix-extra-crytic-compile-call

Drop extra crytic-compile call
0xCLARITY · May 11, 2022 · 848658e · 848658e
2 parents aa18757 + 50c4c55
commit 848658e
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/entrypoint.sh b/entrypoint.sh
@@ -169,8 +169,6 @@ if [[ -n "$SLITHERCONF" ]]; then
     CONFIGFLAG="--config-file=$SLITHERCONF"
 fi
 
-crytic-compile "$TARGET" $IGNORECOMPILEFLAG
-
 if [[ -z "$SLITHERARGS" ]]; then
     slither "$TARGET" $SARIFFLAG $IGNORECOMPILEFLAG $CONFIGFLAG
 else