mirror of
https://github.com/talent-plan/tinykv.git
synced 2024-12-28 05:40:10 +08:00
12 lines
138 B
Bash
Executable File
12 lines
138 B
Bash
Executable File
#!/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
|