don't delete git directories on --redownload, only --reextract

added an alias clean::reclone fixed boost config jam using backslashes
2026-07-27 14:07:05 -07:00 · 2020-05-26 17:24:07 -04:00
parent cd33eb631e
commit 9cb011ae23
13 changed files with 22 additions and 16 deletions
@@ -80,7 +80,7 @@ void python::do_clean(clean c)
 		}
 		else
 		{
-			if (is_any_set(c, clean::redownload|clean::reextract))
+			if (is_set(c, clean::reclone))
 			{
 				git::delete_directory(cx(), source_path());
 				return;