diff options
Diffstat (limited to 'tools/python/setup.py')
| -rw-r--r-- | tools/python/setup.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/python/setup.py b/tools/python/setup.py index 81540bcf49..e9061c871b 100644 --- a/tools/python/setup.py +++ b/tools/python/setup.py @@ -48,7 +48,7 @@ flask = Extension("flask", include_dirs = [ PATH_XEN, PATH_LIBXC, "xen/lowlevel/flask", "../flask/libflask/include" ], library_dirs = [ PATH_LIBXC, "../flask/libflask" ], - libraries = [ "xenctrl", "flask" ], + libraries = [ "xenctrl" ], depends = [ PATH_LIBXC + "/libxenctrl.so", XEN_ROOT + "/tools/flask/libflask/libflask.so" ], sources = [ "xen/lowlevel/flask/flask.c" ]) |