summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xresources/scripts/handle/config/file2
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/scripts/handle/config/file b/resources/scripts/handle/config/file
index 89d57cd0..accbc811 100755
--- a/resources/scripts/handle/config/file
+++ b/resources/scripts/handle/config/file
@@ -248,7 +248,7 @@ copy_elf()
fail "copy_elf: cannot copy elf file"
done
- ./handle src for -c "${codedir}" || \
+ ./handle make file -c "${codedir}" || \
fail "copy_elf: clean: ${codedir} (${project}/${target})"
}