mirror of
https://github.com/talent-plan/tinykv.git
synced 2024-12-27 05:10:19 +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
|