diff options
| author | Denis 'GNUtoo' Carikli <GNUtoo@no-log.org> | 2009-11-09 00:38:35 +0100 |
|---|---|---|
| committer | Denis 'GNUtoo' Carikli <GNUtoo@no-log.org> | 2009-11-09 00:39:32 +0100 |
| commit | 02bd6e1e633e08da08393022d51585c0b3fb44aa (patch) | |
| tree | 7031def62e377b9cccdac0042fb0dcfd7014c96b | |
| parent | f1b1b7a28f114f6900c2d42e83af8c12bc81a421 (diff) | |
| download | manifest-02bd6e1e633e08da08393022d51585c0b3fb44aa.tar.gz manifest-02bd6e1e633e08da08393022d51585c0b3fb44aa.tar.bz2 manifest-02bd6e1e633e08da08393022d51585c0b3fb44aa.zip | |
Manifest: trying to fix the Cannot find repository error for platform/build
| -rw-r--r-- | default.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/default.xml b/default.xml index 9768f56..c04ed9a 100644 --- a/default.xml +++ b/default.xml @@ -5,7 +5,7 @@ <remote name="replicant" fetch="git://gitorious.org/replicant/" revision="replicant"/> - <project path="build" name="platform/build"> + <project path="build" name="build"> <copyfile src="core/root.mk" dest="Makefile" /> </project> |