diff options
Diffstat (limited to 'build-aux/build-debian.sh')
| -rwxr-xr-x | build-aux/build-debian.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/build-aux/build-debian.sh b/build-aux/build-debian.sh index 68193a4..ff7d9db 100755 --- a/build-aux/build-debian.sh +++ b/build-aux/build-debian.sh @@ -21,15 +21,18 @@ case ${DIST} in ;; sid) REV="1~sid" + DEB_BUILD_OPTIONS="${DEB_BUILD_OPTIONS} nocheck" ;; focal) REV="1~11.0focal" ;; jammy) REV="1~12.0jammy" + DEB_BUILD_OPTIONS="${DEB_BUILD_OPTIONS} nocheck" ;; kinetic) REV="1~12.1kinetic" + DEB_BUILD_OPTIONS="${DEB_BUILD_OPTIONS} nocheck" ;; *) echo "error: unsupported dist: ${DIST}" |