chore: disable attaching tty to docker during benchmarks

This commit is contained in:
Umut
2021-09-15 12:41:20 +03:00
parent c253219277
commit ae3c179294
2 changed files with 10 additions and 4 deletions

View File

@@ -135,10 +135,8 @@ docker_publish_measurements: docker_build
git pull
mkdir -p .benchmarks
python script/progress_tracker_utils/extract_machine_info.py
docker run --rm -it \
--volume /"$$(pwd)":/src \
$(DEV_DOCKER_IMG) \
/bin/bash -i ./script/progress_tracker_utils/benchmark_and_publish_findings_in_docker.sh
docker run --rm --volume /"$$(pwd)":/src $(DEV_DOCKER_IMG) \
/bin/bash ./script/progress_tracker_utils/benchmark_and_publish_findings_in_docker.sh
.PHONY: docker_publish_measurements
docs: clean_docs

View File

@@ -3,6 +3,14 @@
# Run benchmarks while logging the intermediate results
# Publish findings in the progress tracker
source /src/.docker_venv/bin/activate
if [[ "$?" != "0" ]]; then
python3 -m venv /src/.docker_venv
source /src/.docker_venv/bin/activate
cd /src/ && make setup_env
fi
export LD_PRELOAD=/compiler/build/lib/Runtime/libZamalangRuntime.so
initial_log=logs/$(date -u --iso-8601=seconds).log
mkdir -p logs