diff options
Diffstat (limited to 'helpers/update-support.sh')
| -rwxr-xr-x | helpers/update-support.sh | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/helpers/update-support.sh b/helpers/update-support.sh index cc2d24aa..06ed1020 100755 --- a/helpers/update-support.sh +++ b/helpers/update-support.sh @@ -27,14 +27,16 @@ regex.h regex_internal.c regex_internal.h verify.h -malloc/dynarray.h malloc/dynarray-skeleton.c +malloc/dynarray.h +malloc/dynarray_emplace_enlarge.c +malloc/dynarray_finalize.c malloc/dynarray_resize.c" for i in $FILE_LIST do - if [ -f $GL/$i ] && [ -f $i ] + if [ -f $GL/$i ] && [ -f support/$i ] then - cp $GL/$i $i + cp $GL/$i support/$i fi done |