|author||Ori Bernstein <firstname.lastname@example.org>||2015-04-16 14:13:47 -0700|
|committer||Ori Bernstein <email@example.com>||2015-04-16 14:13:47 -0700|
Push/pop directories appropriately.
We had bugs because this was done by just setting dirs, without properly changing back at the end of a command. Ordering of build targets would break builds.
Diffstat (limited to 'mk')
0 files changed, 0 insertions, 0 deletions