diff options
Diffstat (limited to '')
| -rwxr-xr-x | debian/linux-headers-6.1.0-19-686.postinst (renamed from debian/linux-headers-6.1.0-18progress7u1-armmp.postinst) | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/linux-headers-6.1.0-18progress7u1-armmp.postinst b/debian/linux-headers-6.1.0-19-686.postinst index e0702605c..72eed704e 100755 --- a/debian/linux-headers-6.1.0-18progress7u1-armmp.postinst +++ b/debian/linux-headers-6.1.0-19-686.postinst @@ -5,7 +5,7 @@ # Debian linux-image postinst script. $|=1; -my $version = "6.1.0-18progress7u1-armmp"; +my $version = "6.1.0-19-686"; if (-d "/etc/kernel/header_postinst.d") { system ("run-parts --report --exit-on-error --arg=$version " . |