distrib/configure: Set RanlibCmd

Authored by bgamari on Nov 7 2018, 8:02 PM.

Description

distrib/configure: Set RanlibCmd

This fixes Trac #15875.

Details

Committed
bgamariNov 7 2018, 8:02 PM
Differential Revision
D5309: distrib/configure: Set RanlibCmd
Parents
rGHCcbde2726f10b: libiserv: Generate cabal file with autoconf
Branches
Unknown
Tags
Unknown