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