diff options
author | Marc Kleine-Budde <mkl@pengutronix.de> | 2010-04-06 00:53:20 +0200 |
---|---|---|
committer | Marc Kleine-Budde <mkl@pengutronix.de> | 2010-04-06 00:53:52 +0200 |
commit | 79471214e96631702b3fec2a23c3037b4ce342d9 (patch) | |
tree | 49377ce7215ef11075e8e8faa17276751d808cf1 /scripts/lib/ptxd_make_world_patchin.sh | |
parent | 35b4a4790f14c2f60e170d73a42898d02aab1863 (diff) | |
download | ptxdist-79471214e96631702b3fec2a23c3037b4ce342d9.tar.gz ptxdist-79471214e96631702b3fec2a23c3037b4ce342d9.tar.xz |
[txd_make_world_patchin] inform user about creation of git repo
...because it might take some time.
Signed-off-by: Marc Kleine-Budde <mkl@pengutronix.de>
Diffstat (limited to 'scripts/lib/ptxd_make_world_patchin.sh')
-rw-r--r-- | scripts/lib/ptxd_make_world_patchin.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/lib/ptxd_make_world_patchin.sh b/scripts/lib/ptxd_make_world_patchin.sh index 9aec01f96..1e22bb9bf 100644 --- a/scripts/lib/ptxd_make_world_patchin.sh +++ b/scripts/lib/ptxd_make_world_patchin.sh @@ -80,11 +80,13 @@ ptxd_make_world_patchin_apply_git_init() # is already git repo? if [ "${git_dir}" != ".git" ]; then + echo "patchin: git: initializing repository" git init -q "${pkg_patchin_dir}" && git add -f . && git commit -q -m "initial commit" --author="ptxdist-${PTXDIST_VERSION_FULL} <ptxdist@pengutronix.de>" && git tag "${pkg_pkg}" git tag base + echo "patchin: git: done" fi } export -f ptxd_make_world_patchin_apply_git_init |