Ralph Lange c6df7df2bd Install usrmerge on ubuntu (needed for RTEMS builds) ...

- travis: only do that for RTEMS
  (as precise & trusty don't have usrmerge)
- gitlab: use focal instead
  (apt install usrmerge doesn't work in Docker)

2021-04-09 18:39:44 +02:00

2.9 KiB

Raw Blame History

View Raw