Andrew Eikum a2557b0b05 Don't require sudo during build ... If we really want this, we could detect it in configure or something. But it was already pretty ugly, so let's ask users to belong to the docker group.		2018-10-11 08:31:52 -05:00
..
makefile_base.mak	Don't require sudo during build	2018-10-11 08:31:52 -05:00