summaryrefslogtreecommitdiff
path: root/resources/scripts
diff options
context:
space:
mode:
Diffstat (limited to 'resources/scripts')
-rwxr-xr-xresources/scripts/handle/make/config2
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" || \