| commit | 5781cd5b218dc3e5a19d8f69e6fb9f310bed4df6 | [log] [tgz] |
|---|---|---|
| author | Mike Lockwood <lockwood@google.com> | Fri Mar 27 13:23:41 2015 -0700 |
| committer | Mike Lockwood <lockwood@google.com> | Fri Mar 27 13:23:41 2015 -0700 |
| tree | 7c74f6c49adbe1da5d4b580bbdd69561116f76b9 | |
| parent | 1e650e26a7bb2f02635530a46ecd715f9911d40e [diff] [blame] |
Make the MIDI Manager optional, enabled by "android.software.midi" feature Change-Id: I76d442ea28beea4b9e2876bfef501d8f61403702
diff --git a/services/Android.mk b/services/Android.mk index 8777085..1918db5 100644 --- a/services/Android.mk +++ b/services/Android.mk
@@ -24,6 +24,7 @@ appwidget \ backup \ devicepolicy \ + midi \ net \ print \ restrictions \