diff options
| author | Richard Jones <rich@koneko.home.annexia.org> | 2010-03-21 17:13:07 +0000 |
|---|---|---|
| committer | Richard Jones <rich@koneko.home.annexia.org> | 2010-03-22 10:41:44 +0000 |
| commit | 1bf76681103c755b1a650e002292aa33f7d0babf (patch) | |
| tree | 40cf05daa477731396af5385d7f637d023644519 /src | |
| parent | df54298591bec8d34e7855c3528a2d5d450ffb20 (diff) | |
| download | libguestfs-1bf76681103c755b1a650e002292aa33f7d0babf.tar.gz libguestfs-1bf76681103c755b1a650e002292aa33f7d0babf.tar.xz libguestfs-1bf76681103c755b1a650e002292aa33f7d0babf.zip | |
generator: Small fix for GODI users.
GODI has an odd package layout, so the generator was unable to
find xml-light. Add the GODI directory to the search path.
Diffstat (limited to 'src')
| -rwxr-xr-x | src/generator.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/generator.ml b/src/generator.ml index fdd228eb..92a77359 100755 --- a/src/generator.ml +++ b/src/generator.ml @@ -42,6 +42,7 @@ #load "unix.cma";; #load "str.cma";; #directory "+xml-light";; +#directory "+../pkg-lib/xml-light";; (* for GODI users *) #load "xml-light.cma";; open Unix |