Commit Graph

102 Commits

Author SHA1 Message Date
Arkadiusz Hiler
2c19e6fd92 Makefile.in: Override assignment of DOCKER_OPTS.
... so that users can use it to provide extra options for docker without
overriding CCACHE/ROOTLESS logic.
2022-01-19 11:29:55 +02:00
Andrew Eikum
3bffbe24b3 build: Rename build/makefile_base.mak to Makefile.in 2022-01-19 11:29:54 +02:00