diff options
-rw-r--r-- | tools/python/setup.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/python/setup.py b/tools/python/setup.py index 1708721d00..42a70fc8d3 100644 --- a/tools/python/setup.py +++ b/tools/python/setup.py @@ -88,7 +88,8 @@ xl = Extension("xl", sources = [ "xen/lowlevel/xl/xl.c", "xen/lowlevel/xl/_pyxl_types.c" ]) plat = os.uname()[0] -modules = [ xc, xs, ptsname, flask, xl ] +modules = [ xc, xs, ptsname, flask ] +#modules.extend([ xl ]) if plat == 'SunOS': modules.extend([ scf, process ]) if plat == 'Linux': |