(include)
| 2786 | this.currentDirectory = currentDirectory; |
| 2787 | } |
| 2788 | includeManifestPath(include) { |
| 2789 | let path = this.resolveFilePath(include); |
| 2790 | if (!path) |
| 2791 | throw new Error("'" + include + "': manifest not found!"); |
| 2792 | if (!this.manifests.already[path]) { |
| 2793 | var parts = this.splitPath(path); |
| 2794 | this.currentDirectory = parts.directory; |
| 2795 | var manifest = this.parseManifest(path); |
| 2796 | manifest.directory = parts.directory; |
| 2797 | } |
| 2798 | } |
| 2799 | matchPlatform(platforms, name, simple) { |
| 2800 | let parts = name.split("/"); |
| 2801 | while (parts.length) { |
no test coverage detected