diff options
| author | Erich Eckner <git@eckner.net> | 2018-05-02 20:14:25 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-05-02 20:14:25 +0200 |
| commit | 23c745adc087c0f042e384a9d5db86c9de208f94 (patch) | |
| tree | bbbdae9142aa9643804617fb5a1dcf92e54e0e44 | |
| parent | 42227789d837b8a3df9372af542fe38175c5d8be (diff) | |
| download | releng-23c745adc087c0f042e384a9d5db86c9de208f94.tar.xz | |
update-kernel-config: pin commit to HEAD
| -rwxr-xr-x | update-kernel-config | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/update-kernel-config b/update-kernel-config index 6b6f074..7f4180e 100755 --- a/update-kernel-config +++ b/update-kernel-config @@ -6,7 +6,7 @@ if [ $# -ne 3 ]; then fi diff=$( - git -C "/usr/src/archlinux/packages/$2/repos/$1-x86_64" diff "$3" -- config | \ + git -C "/usr/src/archlinux/packages/$2/repos/$1-x86_64" diff "$3" HEAD -- config | \ grep '^[+-]' | \ grep -v '^+++\|^---' ) |