Commit 6d443445 authored by Wolfgang Merkt's avatar Wolfgang Merkt
Browse files

Work-around for #1463

parent 276e41e7
Pipeline #15151 passed with stage
in 206 minutes and 13 seconds
...@@ -24,8 +24,12 @@ namespace pinocchio ...@@ -24,8 +24,12 @@ namespace pinocchio
while(true) while(true)
{ {
size_t offset = policyStr.find_first_of(delimiter, lastOffset); size_t offset = policyStr.find_first_of(delimiter, lastOffset);
if (offset < policyStr.size()) if (offset < policyStr.size()) {
list_of_paths.push_back(policyStr.substr(lastOffset, offset - lastOffset)); list_of_paths.push_back(policyStr.substr(lastOffset, offset - lastOffset));
// Support for devel spaces: We also need to look one package above:
// Work-around for https://github.com/stack-of-tasks/pinocchio/issues/1463
list_of_paths.push_back(policyStr.substr(lastOffset, offset - lastOffset) + "/..");
}
if (offset == std::string::npos) if (offset == std::string::npos)
break; break;
else else
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment