search

seL4 / util_libs

Other
55 stars 83 forks source link

Change to support BSD sed #170

Closed alwin-joshy closed 1 year ago

alwin-joshy commented 1 year ago

In GNU sed, the suffix is optional for the -i argument, but is mandatory for the BSD sed shipped with MacOS. This change checks whether the host is an Apple system and if so, supplies a suffix.

alwin-joshy commented 1 year ago

The other two changes are unrelated but were required to get style checks passing.