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/rtex/Makefile | 7 ------- 1 file changed, 7 deletions(-) delete mode 100644 schulung_tools/rtex/Makefile (limited to 'schulung_tools/rtex/Makefile') 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 -- cgit v1.2.3