diff options
| author | John Ogness <john.ogness@linutronix.de> | 2018-02-20 15:03:14 +0100 |
|---|---|---|
| committer | John Ogness <john.ogness@linutronix.de> | 2018-02-20 15:03:14 +0100 |
| commit | 021b32acd3cec8e255dd47681939797ec64b8206 (patch) | |
| tree | f6aa8e57b5bbc8045ae9ec87f4cebac764149ebf /library/Makefile.am | |
| parent | dba99eeb7689d594f9d704d8b7de15432279aa82 (diff) | |
tools: rename 'rtex' tool to 'pgflt'
The rtex tool only demonstrates prefaultingn to avoid runtime
page faults. It makes more sense to call it pgflt.
Signed-off-by: John Ogness <john.ogness@linutronix.de>
Diffstat (limited to 'library/Makefile.am')
0 files changed, 0 insertions, 0 deletions