diff options
author | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-04-15 13:22:35 (EDT) |
---|---|---|
committer | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-04-15 13:22:35 (EDT) |
commit | 58729fd70032afb8eea61cbdc9256979061945b6 (patch) | |
tree | d0e6bbd4c21ffa7640cde717d7bd8c77f17ffcd9 /man/pro-archman.1in | |
parent | 47dc458b58950e86a22976614014b01dfaa8910b (diff) |
3rdparty/local.mk: Replace "make" with "$(MAKE)"
Diffstat (limited to 'man/pro-archman.1in')
0 files changed, 0 insertions, 0 deletions