Jack is no longer used in P, and while jack_server_setup.mk is still present in the pie-dev branch the only reference to it was removed by https://android-review.googlesource.com/c/platform/build/+/496351/5/core/main.mk#b198 .
On Wed, Sep 12, 2018 at 7:30 AM Baran Jean-Marie <jeanmarie.ba...@gmail.com> wrote: > This is still an issue in Android 8.1 and Android 9. The script > jack_server_setup.mk > <https://android.googlesource.com/platform/prebuilts/sdk/+/android-9.0.0_r8/tools/jack_server_setup.mk> > is still called (when generating the target dist for example), and > unfortunately resets the ports in ~/.jack-server/config.properties. One has > to remove the uninstall/install steps in this makefile for keeping the port > untouched, or somehow prevent this makefile from being called. > > Jean-Marie. > > -- > -- > You received this message because you are subscribed to the "Android > Building" mailing list. > To post to this group, send email to android-building@googlegroups.com > To unsubscribe from this group, send email to > android-building+unsubscr...@googlegroups.com > For more options, visit this group at > http://groups.google.com/group/android-building?hl=en > > --- > You received this message because you are subscribed to the Google Groups > "Android Building" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to android-building+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. > -- -- You received this message because you are subscribed to the "Android Building" mailing list. To post to this group, send email to android-building@googlegroups.com To unsubscribe from this group, send email to android-building+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/android-building?hl=en --- You received this message because you are subscribed to the Google Groups "Android Building" group. To unsubscribe from this group and stop receiving emails from it, send an email to android-building+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
