gitlab-ci: Re-add release-x86_64-deb9 job

Authored by bgamari on Dec 11 2019, 11:49 AM.

Description

gitlab-ci: Re-add release-x86_64-deb9 job

Also eliminate some redundancy.

Details

Committed
bgamariDec 11 2019, 11:49 AM
Parents
rGHC1c071c54c712: Revert "rts: Drop redundant flags for libffi"
Branches
Unknown
Tags
Unknown