diff options
author | P. J. McDermott <pjm@nac.net> | 2013-06-04 20:34:44 (EDT) |
---|---|---|
committer | P. J. McDermott <pjm@nac.net> | 2013-06-04 20:34:44 (EDT) |
commit | 4361d7f1cc5198467ae1c89504f979f30703d296 (patch) | |
tree | 2c6e04235d6c8b2f0c9859d31e70a9e9650f1c99 | |
parent | 483993c24194cb4c3254e85fc81ed14fa60bb7a2 (diff) |
build: Fix a sed command.
-rwxr-xr-x | build | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -83,6 +83,7 @@ $(build_targets): configure "src/gcc/config/$${gcc_config_file}~" \ >"src/gcc/config/$${gcc_config_file}"; \ sed "$${gcc_config_fragment_script}" \ + "src/gcc/config/$${gcc_config_fragment}" \ >"src/gcc/config/$${gcc_config_fragment}~"; \ mv "src/gcc/config/$${gcc_config_fragment}~" \ "src/gcc/config/$${gcc_config_fragment}"; \ |