summaryrefslogtreecommitdiff
path: root/resources/scripts
diff options
context:
space:
mode:
Diffstat (limited to 'resources/scripts')
-rwxr-xr-xresources/scripts/handle/config/file11
1 files changed, 3 insertions, 8 deletions
diff --git a/resources/scripts/handle/config/file b/resources/scripts/handle/config/file
index 5e32fed4..13d65ad3 100755
--- a/resources/scripts/handle/config/file
+++ b/resources/scripts/handle/config/file
@@ -223,8 +223,7 @@ check_config()
run_make_command()
{
- make -C "${codedir}" distclean || \
- make -C "${codedir}" clean || \
+ ./build src for -c "${codedir}"
fail "run_make_command: make distclean/clean failed"
cp "${config}" "${codedir}/.config" || \
@@ -248,17 +247,13 @@ copy_elf()
fail "copy_elf: cannot copy elf file"
done
- make -C "${codedir}" distclean || \
- make -C "${codedir}" clean || \
+ ./handle src for -c "${codedir}" || \
fail "copy_elf: clean: ${codedir} (${project}/${target})"
}
fail()
{
- [ -z "${codedir}" ] || \
- make -C "${codedir}" distclean \
- || make -C "${codedir}" clean || :
-
+ [ -z "${codedir}" ] || ./handle src for -c "${codedir}" || :
err "${1}"
}