Add make clean

herbie-fp · Oct 12, 2024 · ce0a666 · ce0a666
1 parent 9f7295c
commit ce0a666
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/infra/platforms-eval.sh b/infra/platforms-eval.sh
@@ -81,6 +81,8 @@ python3 $INFRA_DIR/platforms/cross-plot.py "$OUTDIR/platforms/output"
 echo "Finished platforms evaluation"
 date
 
+make clean
+
 # clean up cache and build files
 if [ -n "$RM_CACHE" ]; then
   echo "removing cache and drivers"