Updating doc, and deployment procedure

This commit is contained in:
plm
2025-01-22 14:21:31 +01:00
parent 30b04e62c0
commit f31c12a7b9
4 changed files with 109 additions and 10 deletions

View File

@@ -0,0 +1,15 @@
#!/bin/bash
find . -mindepth 2 -maxdepth 2 -name 'Makefile' | while read -r makefile; do
dir=$(dirname "$makefile")
echo "Running 'make all' in $dir"
(
cd "$dir" && make all
)
if [ $? -ne 0 ]; then
echo "Error: make all failed in $dir"
exit 1
fi
done
echo "All make processes completed successfully."