1 files changed, 1 insertions, 8 deletions
diff --git a/setup/setup_dev.py b/setup/setup_dev.py
index dfea4b67d74..5ddac8b1a6f 100755
--- a/setup/setup_dev.py
+++ b/setup/setup_dev.py
@@ -153,14 +153,7 @@ def main():
     elif len(sys.argv) == 2 and sys.argv[1] in cmds:
         cmds[sys.argv[1]]()
     else:
-        if len(sys.argv) > 1 and sys.argv[1] == 'gevent':
-            sys.argv.remove('gevent')
-            import gevent.monkey
-            gevent.monkey.patch_all()
-            import psycogreen.gevent
-            psycogreen.gevent.patch_psycopg()
-        import odoo
-        odoo.cli.main()
+        sys.exit('Unknow command. Command available: %r' % (cmds.keys(),))
 
 if __name__ == "__main__":
     main()