Properly copy extern bin folder in Playground

This commit is contained in:
2021-10-04 10:21:48 -06:00
parent ea409952ea
commit 6951f0eceb
2 changed files with 10 additions and 1 deletions

View File

@@ -0,0 +1,8 @@
#! /bin/bash
for dir in export/**/bin; do
if [ -d $dir/bin ]; then
rm -rf $dir/bin
fi
cp -r bin $dir/bin
done