tree cf56dec71fe463c17a4dce02e7cffead5c79fda5
parent d931a9bf7503c73eec6f39bcf71014dd35a02be9
author Bob Lantz <rlantz@cs.stanford.edu> 1456406334 -0800
committer Gerrit Code Review <gerrit@onlab.us> 1456985847 +0000

Separate options for disabling upstart/init.d installation

I'm not too happy with negative options, but the advantage is
that the basic onos-install should "just work."

Change-Id: Ie57142feea23e1ed7b5757098772a60de13c3e37