diff options
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" || \ |