Searched refs:source_ext_dir (Results 1 – 1 of 1) sorted by relevance
29 source_ext_dir="$1.extracted"59 echo_and_exec rm -fr "$source_ext_dir"60 echo_and_exec mkdir -p "$source_ext_dir"61 echo_and_exec tar xvf "$source_tgz" -C "$source_ext_dir" --strip-components=164 echo "# Making file sqlite3.c in $source_ext_dir ..."66 cd "$source_ext_dir"74 echo_and_exec cp "$source_ext_dir/"{shell.c,sqlite3.c,sqlite3.h,sqlite3ext.h} "$to"