diff options
| author | Andrew Waterman <waterman@eecs.berkeley.edu> | 2015-05-18 15:29:04 -0700 |
|---|---|---|
| committer | Andrew Waterman <waterman@eecs.berkeley.edu> | 2015-05-18 15:29:04 -0700 |
| commit | b2251a985c46fb0399d154557937cd5535f6f1af (patch) | |
| tree | 4cb42d6a769c784e47ff9ab70c24aec237934d20 /pk/pk.ld | |
| parent | c5f18f61c07228f6606d2217230751d8ec6e091a (diff) | |
| parent | 3cf271ebe5ba6f1f1d16b0fed4b50f1b88cd3caa (diff) | |
| download | pk-b2251a985c46fb0399d154557937cd5535f6f1af.zip pk-b2251a985c46fb0399d154557937cd5535f6f1af.tar.gz pk-b2251a985c46fb0399d154557937cd5535f6f1af.tar.bz2 | |
Merge pull request #9 from palmer-dabbelt/destdir
Change the behavior of the DESTDIR make variable
Diffstat (limited to 'pk/pk.ld')
0 files changed, 0 insertions, 0 deletions