On 2/22/20 5:16 PM, enh via Toybox wrote: > While most Android devices still have low pid_max values,
as does devuan (32768) > my laptop and > desktop are using ever higher values. Auto-size the PID and PPID fields > based on the system's current configuration rather than hard-coding > values. Ew. Out of curiosity, what is your pid_max current set to? Rob _______________________________________________ Toybox mailing list [email protected] http://lists.landley.net/listinfo.cgi/toybox-landley.net
