mirror of
https://github.com/talent-plan/tinykv.git
synced 2025-01-13 22:00:07 +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
|