diff options
| author | Erich Eckner <git@eckner.net> | 2018-11-26 10:39:21 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-11-26 10:39:21 +0100 |
| commit | 1b479e00f62271940bf22d5e851c890d5ee83b7c (patch) | |
| tree | 8c65623dd5e0bd61ec43c557182461e09c249a62 | |
| parent | 4eeb1911ce3601b451e38eaf5e952e2d10d855a2 (diff) | |
| download | devops-1b479e00f62271940bf22d5e851c890d5ee83b7c.tar.xz | |
update-kernel-config: "git pull" upstream repo before looking for changes
| -rwxr-xr-x | update-kernel-config | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/update-kernel-config b/update-kernel-config index a4d54b6..46b362a 100755 --- a/update-kernel-config +++ b/update-kernel-config @@ -25,6 +25,8 @@ if [ -z "${old_revision}" ]; then exit 1 fi +git -C "${git_repo_path}/$1/$2" pull --ff-only + config_names=$( git -C "${git_repo_path}/$1/$2" archive HEAD -- | \ tar -t | \ |