diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -25,7 +25,7 @@ release: all test -d rel/catlfish/webroot/log || mkdir rel/catlfish/webroot/log tests-prepare: - -rm -r rel/known_roots + rm -r rel/known_roots || true mkdir rel/known_roots cp tools/testcerts/roots/* rel/known_roots @@ -34,7 +34,7 @@ tests-prepare: mkdir -p test/nodes/storage-2/log cp test/config/frontend-1.config rel cp test/config/storage-1.config rel - -rm -r rel/tests + rm -r rel/tests || true mkdir -p rel/tests/machine/machine-1/db printf "0" > rel/tests/machine/machine-1/db/treesize mkdir -p rel/tests/machine/machine-2/db @@ -48,7 +48,8 @@ tests-start: sleep 1 tests-run: - (cd tools ; python testcase1.py ) || echo "Tests failed" + @(cd tools ; python testcase1.py ) || echo "Tests failed" + @(cd tools ; python fetchallcerts.py https://127.0.0.1:8080/) || echo "Verification failed" tests-stop: sleep 5 |