From 8219273440812a136fbe23bd8a0e57168b1e47b5 Mon Sep 17 00:00:00 2001 From: Weilei Zeng at qlab01 Date: Fri, 22 Sep 2023 10:55:10 +0800 Subject: [PATCH] embed cmd for show code and show-save into Makefile --- log/Makefile | 18 ++++++++++++------ 1 file changed, 12 insertions(+), 6 deletions(-) diff --git a/log/Makefile b/log/Makefile index 4140b43..e3b8a01 100644 --- a/log/Makefile +++ b/log/Makefile @@ -1,8 +1,14 @@ clean: - mv generate*.log trash -# mv generate*.log generate*.err trash -show-codes: - bash show-codes.sh + mv nkd*.log trash +#show-codes: +#echo "this display the last lines in log file, and one can check number of codes saved in each run." +#for i in nkd*; do tail -n 3 $i |head -n 1; done show-save: -# echo "how many codes has been saved this time:" - bash show-save.sh + echo "this count the lines with 'save', which is the same as number of codes saved during this trial" + grep Saved *.log | wc -l +print-codes: + grep Saved *.log +show-save-log: + bash show-save.sh >>clean-log.txt + date >> clean-log.txt +