1 files changed, 5 insertions, 0 deletions
diff --git a/tool/vpath.rb b/tool/vpath.rb
index 0c8d6071ea..48ab148405 100644
--- a/tool/vpath.rb
+++ b/tool/vpath.rb
@@ -79,4 +79,9 @@ class VPath
     end
     @list
   end
+
+  def strip(path)
+    prefix = list.map {|dir| Regexp.quote(dir)}
+    path.sub(/\A#{prefix.join('|')}(?:\/|\z)/, '')
+  end
 end