diff options
| author | Leah Rowe <leah@libreboot.org> | 2023-08-27 13:44:55 +0100 |
|---|---|---|
| committer | Leah Rowe <leah@libreboot.org> | 2023-08-27 13:44:55 +0100 |
| commit | 93d2dcad2d8b03eab613404e8c7c4209f250c70d (patch) | |
| tree | 8ffdfcb5bfbc81b03ea61dfda0190478c915c364 /resources | |
| parent | 0e6851c893a4ee22bbae0c42aef9b2b4a03d7834 (diff) | |
handle/make/config: add missing pipes for err
i forgot to add these! without them, the script will
always exit with an error
Signed-off-by: Leah Rowe <leah@libreboot.org>
Diffstat (limited to 'resources')
| -rwxr-xr-x | resources/scripts/handle/make/config | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/scripts/handle/make/config b/resources/scripts/handle/make/config index 6bbc0b04..1ab0864b 100755 --- a/resources/scripts/handle/make/config +++ b/resources/scripts/handle/make/config @@ -224,7 +224,7 @@ check_config() run_make_command() { - ./handle make file -c "${codedir}" + ./handle make file -c "${codedir}" || \ fail "run_make_command: make distclean/clean failed" cp "${config}" "${codedir}/.config" || \ |