From 021b32acd3cec8e255dd47681939797ec64b8206 Mon Sep 17 00:00:00 2001 From: John Ogness Date: Tue, 20 Feb 2018 15:03:14 +0100 Subject: 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 --- schulung_tools/pgflt/Makefile | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 schulung_tools/pgflt/Makefile (limited to 'schulung_tools/pgflt/Makefile') 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 -- cgit v1.2.3