diff --git a/win/make_clean.bat b/win/make_clean.bat index d71a22fc..f94f1463 100644 --- a/win/make_clean.bat +++ b/win/make_clean.bat @@ -20,6 +20,6 @@ :: del *.obj ..\mpir.h ..\config.h ..\gmp-mparam.h mpir.lib *.idb *.pdb > nul 2>&1 -rmdir /S/Q mpn mpz mpq mpf scanf printf tests cxx tune > nul 2>&1 +rmdir /S/Q mpn mpz mpq mpf scanf printf tests cxx tune speed > nul 2>&1 del gen_mpir_h.bat out_copy_rename.bat gen_config_h.bat cfg.h > nul 2>&1 del getopt.h getrusage.h gettimeofday.h unistd.h win_timing.h > nul 2>&1