diff options
Diffstat (limited to 'ci')
-rwxr-xr-x | ci/gh-install.sh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/ci/gh-install.sh b/ci/gh-install.sh index 9902a94e..f39331b1 100755 --- a/ci/gh-install.sh +++ b/ci/gh-install.sh @@ -43,6 +43,19 @@ case "$ID" in # Ubuntu package data: # https://packages.ubuntu.com/source/impish/ostree # + # Use libfuse3-dev unless otherwise specified + case " $* " in + (*\ libfuse-dev\ *) + ;; + + (*\ libfuse3-dev\ *) + ;; + + (*) + set -- "$@" libfuse3-dev + ;; + esac + # TODO: fetch this list from the Debian packaging git repository? # First construct a list of Build-Depends common to all |