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 /schulung_tools/rtex/Makefile | |
| 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 'schulung_tools/rtex/Makefile')
| -rw-r--r-- | schulung_tools/rtex/Makefile | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/schulung_tools/rtex/Makefile b/schulung_tools/rtex/Makefile deleted file mode 100644 index 330bc01..0000000 --- a/schulung_tools/rtex/Makefile +++ /dev/null @@ -1,7 +0,0 @@ -rtex: main.c func.c rt.c - gcc -O0 $+ -o$@ - -clean: - rm -f rtex - -.PHONY: clean |