distributed/talent-plan-tinykv
1
0
Fork 0
mirror of https://github.com/talent-plan/tinykv.git synced 2024-12-25 20:30:30 +08:00
Code Issues Packages Projects Releases Wiki Activity

introduct .make_target.sh

Browse Source
This commit is contained in:
yanguwan 2023-02-10 17:25:18 +08:00
parent b55eef8e62
commit 1106052291
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
scripts/.make_target.sh Normal file
View File

@ -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