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 accbc811..6bbc0b04 100755 --- a/resources/scripts/handle/config/file +++ b/resources/scripts/handle/config/file @@ -254,7 +254,7 @@ copy_elf() fail() { - [ -z "${codedir}" ] || ./handle src for -c "${codedir}" || : + [ -z "${codedir}" ] || ./handle make file -c "${codedir}" || : err "${1}" } |