Ports: Force-add all files when entering dev

This keeps us from accidentally excluding files that are listed in the
`.gitignore` but that are included in the tarball anyways.
This commit is contained in:
Tim Schumacher 2022-06-01 00:59:55 +02:00 committed by Linus Groh
commit 8a5941e294
Notes: sideshowbarker 2024-07-17 10:33:24 +09:00

View file

@ -727,7 +727,7 @@ do_dev() {
pushd "$git_repo" pushd "$git_repo"
if [ ! -d "$git_repo/.git" ]; then if [ ! -d "$git_repo/.git" ]; then
git init . git init .
git add . git add --all --force
git commit -a -m 'Initial import' git commit -a -m 'Initial import'
fi fi
# Make it allow pushes from other local checkouts # Make it allow pushes from other local checkouts