Merge branch 'devel' of ssh://git.planet-lab.org/git/nodemanager into devel

[nodemanager.git] / setup.py

diff --git a/setup.py b/setup.py
index ba3f4e8..c8d4614 100644 (file)
--- a/setup.py
+++ b/setup.py
@@ -22,6 +22,7 @@ setup(
         'conf_files',
         'config',
         'controller',
+        'coresched',
         'curlwrapper',
         'database',
         'iptables',
@@ -31,7 +32,7 @@ setup(
         'plcapi',
         'safexmlrpc',
         'sliver_vs',
-        'sm',
+        'slivermanager',
         'ticket',
         'tools',
         ],