Remove directories

This commit is contained in:
Daniel Mejia-Rodriguez 2025-10-21 00:32:43 -07:00
parent 01f8b47d2b
commit 2e878a61d6

View file

@ -769,7 +769,7 @@ $(STAMP_DIR):
clean:
@test -e $(BUILDDIR)/Makefile && { cd $(BUILDDIR) && $(MAKE) clean; } || echo "Not configured"
rm -f build install
rm -rf build install
rm -f ../mpi_include.txt ../ga*txt
realclean: