Commit 9f6d509659684d014b43d5e02e24fe04b406ed2c
1 parent
8cfddc68
start redis server for make ci
Showing
1 changed file
with
3 additions
and
0 deletions
make-ci.sh
| @@ -26,5 +26,8 @@ sudo cp -r googletest/googletest/include/gtest /usr/local/include | @@ -26,5 +26,8 @@ sudo cp -r googletest/googletest/include/gtest /usr/local/include | ||
| 26 | # Make redox | 26 | # Make redox |
| 27 | cmake -Dexamples=ON -Dlib=ON -Dstatic_lib=ON -Dtests=ON .. | 27 | cmake -Dexamples=ON -Dlib=ON -Dstatic_lib=ON -Dtests=ON .. |
| 28 | time make VERBOSE=1 | 28 | time make VERBOSE=1 |
| 29 | + | ||
| 30 | +# Test redox | ||
| 31 | +sudo service redis-server restart | ||
| 29 | ./test_redox | 32 | ./test_redox |
| 30 | cd .. | 33 | cd .. |