YAMAMOTO Takashi fc7cddee39 Deal with "sed -i" portability ... An empty extension for sed -i is not widely available. * Where it isn't available (eg. macOS's sed) "sed -i -e" will create a backup file with the "-e" suffix. * Even GNU sed documentation says it's "not recommended". This commit deals with it by: * Replace it with a more appropriate tool (kconfig-tweak) * Or, specify the extension (.bak)		2021-01-11 08:38:19 +01:00
..
nr5m100-nexys4	Deal with "sed -i" portability	2021-01-11 08:38:19 +01:00