commit 9ef096edad80dfd7811ee4376357421db6f1bf3e parent 589c6b87be85a60603636d47526675e46d98a015 Author: Sebastian <sebasjm@gmail.com> Date: Wed, 14 Feb 2024 09:39:01 -0300 add some comments Diffstat:
| M | contrib/cleanup-prebuilt-dir.sh | | | 4 | ++++ |
| M | contrib/publish-prebuilt-dir.sh | | | 7 | +++++++ |
2 files changed, 11 insertions(+), 0 deletions(-)
diff --git a/contrib/cleanup-prebuilt-dir.sh b/contrib/cleanup-prebuilt-dir.sh @@ -1,7 +1,11 @@ #!/bin/bash +set -e [ ! -d prebuilt ] && git worktree add -f prebuilt prebuilt && exit 1 +# make sure that the prebuilt directoy is clean +# before building +# this script is part of the make prebuilt cd prebuilt git checkout -- . git pull diff --git a/contrib/publish-prebuilt-dir.sh b/contrib/publish-prebuilt-dir.sh @@ -1,7 +1,14 @@ #!/bin/bash +# this script is part of the make prebuilt procedure +# is expected on the root folder + +# create a commit message with the commit id COMMIT=$(git rev-parse --verify HEAD) MSG="built from ${COMMIT}" +# after buliding process has copy everything into +# the prebuilt folder +cd prebuilt git commit -m "$MSG" -a git push