From 989424a332a098adac1703bb3a1c6dc128f80915 Mon Sep 17 00:00:00 2001 From: Kristoffer Andersen Date: Sun, 7 Nov 2021 11:47:18 +0100 Subject: [PATCH] Separate build and run docker option in makefile --- Makefile | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/Makefile b/Makefile index cc2b5ef25..3243e06d4 100644 --- a/Makefile +++ b/Makefile @@ -19,3 +19,10 @@ dtest: mkdir -p "temp" && \ docker build -t ada/testing . && \ docker run --name ada-report --rm --mount type=bind,source="$(CURDIR)/temp",target=/home/tests/fem/temp ada/testing bash -c "pip install pytest && conda list && cd /home/tests/fem && pytest && python build_verification_report.py" + +dtest-b: + mkdir -p "temp" && \ + docker build -t ada/testing . + +dtest-r: + docker run --name ada-report --rm --mount type=bind,source="$(CURDIR)/temp",target=/home/tests/fem/temp ada/testing bash -c "pip install pytest && conda list && cd /home/tests/fem && pytest && python build_verification_report.py"