Skip to content
Snippets Groups Projects
Unverified Commit 2519d84a authored by mweidling's avatar mweidling Committed by GitHub
Browse files

Merge pull request #11 from OCR-D/fix-logs

fix creation of logs dir
parents 29e9b0e4 1ab78a18
No related branches found
No related tags found
1 merge request!1Merge GitHub's state
......@@ -8,6 +8,7 @@ prepare-default-gt:
docker compose exec app bash scripts/prepare.sh
run:
if [ ! -d logs ]; then mkdir logs; fi
docker compose exec app bash workflows/execute_workflows.sh > logs/run_$$(date +"%s").log
stop:
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment