2020-07-07 18:53:54 +01:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
|
|
framework_path=$1
|
|
|
|
|
binary_dir=$2
|
|
|
|
|
|
2020-11-05 21:23:34 +00:00
|
|
|
crt_files=$(find $binary_dir -name "crt*.o")
|
2020-07-07 18:53:54 +01:00
|
|
|
|
|
|
|
|
for crt_file in $crt_files; do
|
2020-11-05 21:23:34 +00:00
|
|
|
out="$framework_path/bin/$(basename $crt_file .o).o"
|
2020-07-07 18:53:54 +01:00
|
|
|
cp -f $crt_file $out
|
|
|
|
|
done
|
