diff options
| author |  Fabio Porcedda <fabio.porcedda@gmail.com> | 2015-02-18 22:14:30 +0100 |
|---|---|---|
| committer |  Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2015-02-22 12:52:29 +0100 |
| commit | da19d967b56ace2e9cd7ab29ff12c33c4172fc3d (patch) | |
| tree | a142072f1fb3fb30a05723bba123e94fadcf2ff4 /utils/br-reproduce-build | |
| parent | 85e18a3507c4c9c2c7e982ce723dd4f19a4a8038 (diff) | |
| download | buildroot-test-da19d967b56ace2e9cd7ab29ff12c33c4172fc3d.tar.gz buildroot-test-da19d967b56ace2e9cd7ab29ff12c33c4172fc3d.tar.bz2 | |
br-reproduce-build: do a fetch instead of a pull
The pull is not needed so use a cheaper fetch, also it will work even if
the existing repository doesn't point to branches of the official
repository.
Signed-off-by: Fabio Porcedda <fabio.porcedda@gmail.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Diffstat (limited to 'utils/br-reproduce-build')
| -rwxr-xr-x | utils/br-reproduce-build | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/utils/br-reproduce-build b/utils/br-reproduce-build index 10a2d13..01d1b7a 100755 --- a/utils/br-reproduce-build +++ b/utils/br-reproduce-build @@ -47,9 +47,9 @@ cd buildroot git remote set-url origin git://git.busybox.net/buildroot -git pull +git fetch if [ $? -ne 0 ] ; then - echo "Cannot pull Buildroot Git repository" + echo "Cannot fetch Buildroot official Git repository" rm -rf ${BUILD_DIR} exit 1 fi |