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})" }