diff options
Diffstat (limited to 'resources')
| -rwxr-xr-x | resources/scripts/handle/config/file | 2 |
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})" } |