]> gitweb.michael.orlitzky.com - bash.d.git/commit
compilation: process make.defaults in parent profiles, too.
authorMichael Orlitzky <michael@orlitzky.com>
Sun, 21 Jan 2018 00:22:15 +0000 (19:22 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Sun, 21 Jan 2018 00:22:15 +0000 (19:22 -0500)
commitc98f3820a04e7ada895c6733890a1dd6e30ee7e3
treefc5bed71ad0d96c963c528972c3b90423196d904
parenteb2ac100241d04561409656a9b63df3a6e3a1437
compilation: process make.defaults in parent profiles, too.
compilation