From 1106052291699d8cebd3e773167496864294734b Mon Sep 17 00:00:00 2001 From: yanguwan Date: Fri, 10 Feb 2023 17:25:18 +0800 Subject: [PATCH] introduct .make_target.sh --- scripts/.make_target.sh | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 scripts/.make_target.sh diff --git a/scripts/.make_target.sh b/scripts/.make_target.sh new file mode 100644 index 00000000..e3128f88 --- /dev/null +++ b/scripts/.make_target.sh @@ -0,0 +1,11 @@ +#!/bin/sh + +make $1 &> make.log +grep FAIL make.log +if [[ $? -ne 0 ]]; then + rm make.log + exit 0 +else + rm make.log + exit 1 +fi