diff --git a/debian.realtime/etc/getabis b/debian.realtime/etc/getabis deleted file mode 100644 index fa67d4b2adc1..000000000000 --- a/debian.realtime/etc/getabis +++ /dev/null @@ -1,26 +0,0 @@ -getabis_ppa="${HOME}/.getabis.noble-realtime" -getabis_source="$(dpkg-parsechangelog -l$DEBIAN/changelog -SSource)" - -if ! [ -e "${getabis_ppa}" ] ; then - cat <&2 -Error: No private PPA URL(s) found, unable to fetch ABI information. - -This kernel is built and delivered using private PPA(s). You need to add the -PPA repo URL(s) (including the username and password) to the file -${getabis_ppa}. - -One URL per line, like: - -https://:@private-ppa.launchpad.net///ubuntu - -EOF - exit 1 -fi - -readarray -t repo_list < <(sed "s,\s*$,/pool/main/l/${getabis_source}," \ - "${getabis_ppa}") - -package_prefixes linux-buildinfo - -getall amd64 realtime -getall arm64 realtime