diff --git a/repos/libports/src/app/extract/main.cc b/repos/libports/src/app/extract/main.cc index 5eb435f799..ec473d39a1 100644 --- a/repos/libports/src/app/extract/main.cc +++ b/repos/libports/src/app/extract/main.cc @@ -54,6 +54,10 @@ bool create_directories(Genode::String const &path) if (!end_of_elem && !end_of_path) continue; + /* handle leading '/' */ + if (end_of_elem && (sub_path_len == 0)) + continue; + Genode::String sub_path(Genode::Cstring(path.string(), sub_path_len)); /* create directory for sub path if it does not already exist */