Pass CSH=/bin/csh to configure

  • fixed reproducible build on merged-usr vs non-merged systems

Closes: #915294

Merge request reports

Loading