From 0e4eb768b307a1115fc6492d3a561d33788198f8 Mon Sep 17 00:00:00 2001 From: Bill Mills Date: Mon, 5 Sep 2011 14:58:16 -0400 Subject: [PATCH] clean out old unused files These files have not been updated when the build procedure changed but there were still present causing confusion. Signed-off-by: Bill Mills --- mk | 1 - time-make | 11 ----------- time-make-all | 6 ------ 3 files changed, 18 deletions(-) delete mode 120000 mk delete mode 100755 time-make delete mode 100755 time-make-all diff --git a/mk b/mk deleted file mode 120000 index 2b2deda..0000000 --- a/mk +++ /dev/null @@ -1 +0,0 @@ -time-make \ No newline at end of file diff --git a/time-make b/time-make deleted file mode 100755 index 58b8bac..0000000 --- a/time-make +++ /dev/null @@ -1,11 +0,0 @@ -#! /bin/bash -clear -mkdir -p logs - -. setenv - -if [ -z "$LOG_NAME" ] ; then LOG_NAME=-$1 ; fi -if [ "$LOG_NAME" = "-" ] ; then LOG_NAME="" ; fi - -$(which time) -v -o logs/make$LOG_NAME.time make -C src/make "$@" 2>&1 | tee logs/make$LOG_NAME.log - diff --git a/time-make-all b/time-make-all deleted file mode 100755 index ea508c8..0000000 --- a/time-make-all +++ /dev/null @@ -1,6 +0,0 @@ -#! /bin/sh -./time-make clean -./time-make c6472 -LOGNAME=-null ./time-make c6472 - - -- 2.26.2