From 5405b51d4f1ea4fa7b79caacf7acf21bae1305a6 Mon Sep 17 00:00:00 2001 From: Jason Marechal Date: Thu, 12 Oct 2023 10:52:39 +0200 Subject: [PATCH] Don't delete previous directory (useless) --- src/cpp/lpnamer/main/RunProblemGeneration.cpp | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/cpp/lpnamer/main/RunProblemGeneration.cpp b/src/cpp/lpnamer/main/RunProblemGeneration.cpp index c54e451c8f..00ebc509a1 100644 --- a/src/cpp/lpnamer/main/RunProblemGeneration.cpp +++ b/src/cpp/lpnamer/main/RunProblemGeneration.cpp @@ -138,9 +138,6 @@ bool CreateDirectories( auto xpansion_output_dir = xpansion_output_path.parent_path() / (xpansion_output_path.stem().string() + "-Xpansion"); - if (std::filesystem::exists(xpansion_output_dir)) { - std::filesystem::remove_all(xpansion_output_dir); - } std::filesystem::create_directories(xpansion_output_dir); std::filesystem::create_directories(xpansion_output_dir / LP_DIRNAME);