diff options
| author | Flavio Cruz <flaviocruz@gmail.com> | 2016-01-01 17:55:11 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2016-01-01 18:02:14 +0100 |
| commit | 5714421bb1d066abebc7e993bdf06e655b879b3a (patch) | |
| tree | 3561bd420111900f717e6a55d37c74ea831bf663 /pfinet | |
| parent | a526d06131bdba4080c7c22ceebc1c73c403b8b4 (diff) | |
fix mach-defpager static linking
* mach-defpager/Makefile: Allow multiple definitions for mach-defpager.
Diffstat (limited to 'pfinet')
0 files changed, 0 insertions, 0 deletions