4 HOST_BUILD_DIR
=$
(pwd)/"build_dir/host"
5 HOST_STAGING_DIR_STAMP
=$
(pwd)/"staging_dir/host/stamp"
8 find -H "$1" -not -type l
-print0 |
xargs -0 touch
11 extract_prebuilt_tar
() {
15 install_prebuilt_tools
() {
16 extract_prebuilt_tar
"$TOOLS_TAR"
18 if [ ! -d "$HOST_BUILD_DIR" ]; then
19 echo "Can't find Host Build Dir "$HOST_BUILD_DIR"" >&2
23 refresh_timestamps
"$HOST_BUILD_DIR"
26 if [ ! -d "$HOST_STAGING_DIR_STAMP" ]; then
27 echo "Can't find Host Staging Dir Stamp "$HOST_STAGING_DIR_STAMP"" >&2
31 refresh_timestamps
"$HOST_STAGING_DIR_STAMP"
41 echo "Directory '$1' does not exist." >&2
44 HOST_BUILD_DIR
="$(cd "$1"; pwd)"; shift
47 --host-staging-dir-stamp)
49 echo "Directory '$1' does not exist." >&2
52 HOST_STAGING_DIR_STAMP
="$(cd "$1"; pwd)"; shift
57 echo "Tools tar file '$1' does not exist." >&2
61 install_prebuilt_tools
68 echo -e "\nUsage:\n" >&2
69 echo -e " $me --host-build-dir {directory}" >&2
70 echo -e " Set to refresh timestamp of this build directory" >&2
71 echo -e " with --tools." >&2
72 echo -e " THIS OPTION MUST BE SET BEFORE --tools." >&2
73 echo -e " If not provided the default directory is:" >&2
74 echo -e " $(pwd)/build_dir/host\n" >&2
75 echo -e " $me --host-staging-dir-stamp {directory}" >&2
76 echo -e " Set to refresh staging timestamp present in this" >&2
77 echo -e " directory with --tools." >&2
78 echo -e " THIS OPTION MUST BE SET BEFORE --tools." >&2
79 echo -e " If not provided the default directory is:" >&2
80 echo -e " $(pwd)/staging_dir/host/stamp\n" >&2
81 echo -e " $me --tools {tar}" >&2
82 echo -e " Install the prebuilt tools present in the passed" >&2
83 echo -e " tar and prepare them." >&2
84 echo -e " To correctly use them it's needed to update the." >&2
85 echo -e " timestamp of each tools to skip recompilation.\n" >&2
86 echo -e " $me --help" >&2
87 echo -e " Display this help text and exit.\n\n" >&2
92 echo "Unknown argument '$arg'" >&2