diff options
Diffstat (limited to '')
| -rwxr-xr-x | bin/linux-pupdate.sh | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/bin/linux-pupdate.sh b/bin/linux-pupdate.sh index 7d17e8c..f746194 100755 --- a/bin/linux-pupdate.sh +++ b/bin/linux-pupdate.sh @@ -12,9 +12,15 @@ do git checkout progress-linux rm -rf debian/build debian/linux-image* debian/linux-headers* - cp -f DEB/config.defines.dump DEB/control* DEB/linux-image* DEB/linux-headers* DEB/rules.gen debian + cp -f DEB/control* DEB/linux-image* DEB/linux-headers* DEB/rules.gen debian cp -f DEB/tests/control debian/tests + if [ -e DEB/config.defines.dump ] + then + # linux 6.6 or older + cp -f DEB/config.defines.dump debian + fi + if git slog | grep -qs 'Setting abiname to [0-9]*' then # debian 12 or older |