Fix create dir in copy_headers.sh

This commit is contained in:
proller 2017-12-27 19:56:35 +03:00
parent 8c01852dc6
commit 08f98ce06f

View File

@ -63,5 +63,6 @@ done
# Even more platform-specific headers
for src_file in $(ls -1 $SOURCE_PATH/contrib/libboost/boost_1_65_0/boost/smart_ptr/detail/*);
do
mkdir -p "$DST/$(echo $src_file | sed -r -e 's/\/[^/]*$/\//')";
cp "$src_file" "$DST/$src_file";
done