diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-06-10 11:19:47 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-06-10 11:19:47 -0700 |
| commit | 877520a9fa9020bfbcb10512b6b771f4491d3b9e (patch) | |
| tree | 7accf42fef67e1b5dcdd97a324ef72bae4521151 /Makefile | |
| parent | 686d00c01dc3096953156fa43daa164f1d59b7dc (diff) | |
Move more commands to Config.mk
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions