From 7e9be66e6f469ee270be6c4e2015ca730cc9c72e Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Fri, 4 May 2018 14:34:02 +0700 Subject: [PATCH] Don't check if path is root directly --- src/build_system.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/build_system.ml b/src/build_system.ml index c36c0927..bf80a312 100644 --- a/src/build_system.ml +++ b/src/build_system.ml @@ -1463,7 +1463,7 @@ let rec add_build_dir_to_keep t ~dir = if not (Pset.mem t.build_dirs_to_keep dir) then begin t.build_dirs_to_keep <- Pset.add t.build_dirs_to_keep dir; let dir = Path.parent dir in - if dir <> Path.root then + if not (Path.is_root dir) then add_build_dir_to_keep t ~dir end