1 files changed, 2 insertions, 2 deletions
diff --git a/msci b/msci
index c1e6132..8526f87 100755
--- a/msci
+++ b/msci
@@ -92,11 +92,11 @@ run_project() {
 				"$pimage" \
 				sh -c "$prun" | tee -a "$2" && echo "docker failed" | tee -a "$2" && exit 1
 		done
-		(popd &>/dev/null && rm -rf "$repo_path") ||
+		popd &>/dev/null
+		! rm -rf "$repo_path" &&
 			echo "failed to delete tmp repo" | tee -a "$2" && exit 1
 		echo "finished" | tee -a "$2"
 	)
-
 }
 
 create_project() {