mirror of
https://github.com/talent-plan/tinykv.git
synced 2025-03-23 08:10:58 +08:00
12 lines
138 B
Bash
12 lines
138 B
Bash
#!/bin/bash
|
|
|
|
make $1 &> make.log
|
|
grep FAIL make.log
|
|
if [[ $? -ne 0 ]]; then
|
|
rm make.log
|
|
exit 0
|
|
else
|
|
rm make.log
|
|
exit 1
|
|
fi
|