From 4cd4b75309367ed53a290403465b1111a9065e74 Mon Sep 17 00:00:00 2001 From: Gabriel Ferreira Date: Fri, 13 Oct 2023 20:46:44 -0300 Subject: [PATCH] build: reformat the ns3 script --- ns3 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ns3 b/ns3 index 034095025..3eec468f7 100755 --- a/ns3 +++ b/ns3 @@ -433,7 +433,7 @@ def remove_dir(dir_to_remove, dry_run, directory_qualifier=""): dir_to_remove = os.path.abspath(dir_to_remove) if os.path.exists(dir_to_remove): if (".." in os.path.relpath(dir_to_remove, ns3_path) - or os.path.abspath(dir_to_remove) == os.path.abspath(ns3_path)): + or os.path.abspath(dir_to_remove) == os.path.abspath(ns3_path)): # In case the directory to remove isn't within # the current ns-3 directory, print an error # message for the dry-run case