[lmi-commits] [lmi] master updated (48116ac -> 5120d84)

[Greg Chicares]

chicares pushed a change to branch master.

      from  48116ac   'set -e' in all 'lmi_setup*' scripts
       new  6bcedb0   Update list of 'lmi_setup_*' scripts
       new  b1e6cef   Use 'wget -N' even for servers that don't offer time 
stamps
       new  3d93ba2   Unmount one more mountpoint when destroying a chroot
       new  cbb0642   Fix 'set -e' issues
       new  5120d84   Speculatively permit gcc-10.0.0


Summary of changes:
 gwc/redhat_rebuild.sh | 2 +-
 lmi_setup_00.sh       | 3 +++
 lmi_setup_02.sh       | 9 +++++----
 lmi_setup_07r.sh      | 2 +-
 lmi_setup_11.sh       | 5 +++--
 lmi_setup_43.sh       | 2 +-
 workhorse.make        | 4 +++-
 7 files changed, 17 insertions(+), 10 deletions(-)