diff options
Diffstat (limited to '')
| -rw-r--r-- | debian/linux-headers-4.19.0-23-686.postinst (renamed from debian/linux-headers-4.19.0-22progress5u1-armmp.postinst) | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/linux-headers-4.19.0-22progress5u1-armmp.postinst b/debian/linux-headers-4.19.0-23-686.postinst index a9e0cf5a1..9354b485e 100644 --- a/debian/linux-headers-4.19.0-22progress5u1-armmp.postinst +++ b/debian/linux-headers-4.19.0-23-686.postinst @@ -5,7 +5,7 @@ # Debian linux-image postinst script. $|=1; -my $version = "4.19.0-22progress5u1-armmp"; +my $version = "4.19.0-23-686"; if (-d "/etc/kernel/header_postinst.d") { system ("run-parts --report --exit-on-error --arg=$version " . |