2023-05-26 02:38:19 +00:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
|
|
set -u
|
|
|
|
|
|
2023-02-19 22:25:49 +00:00
|
|
|
echo
|
|
|
|
|
echo "Recreating ${dir_artifacts}"
|
|
|
|
|
rm -Rf ${dir_artifacts}
|
2023-02-19 07:39:41 +00:00
|
|
|
mkdir -p ${dir_artifacts}
|
2023-02-19 22:25:49 +00:00
|
|
|
|
|
|
|
|
echo
|
|
|
|
|
echo "Recreating ${dir_sysroot}"
|
|
|
|
|
rm -Rf ${dir_sysroot}
|
2023-02-19 07:39:41 +00:00
|
|
|
mkdir -p ${dir_sysroot}
|
