2022-11-14 00:57:47 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
set -eu
|
2022-11-14 12:02:23 +00:00
|
|
|
cd -- "$(dirname "$0")/../.."
|
2022-11-14 01:12:24 +00:00
|
|
|
. ./ci/sub/lib.sh
|
|
|
|
|
|
|
|
|
|
cat >./install.sh <<EOF
|
|
|
|
|
#!/bin/sh
|
|
|
|
|
set -eu
|
|
|
|
|
|
|
|
|
|
# *************
|
|
|
|
|
# DO NOT EDIT
|
|
|
|
|
#
|
|
|
|
|
# install.sh was bundled together from
|
|
|
|
|
#
|
|
|
|
|
# - ./ci/sub/lib/rand.sh
|
|
|
|
|
# - ./ci/sub/lib/log.sh
|
|
|
|
|
# - ./ci/sub/lib/flag.sh
|
2022-11-14 11:40:35 +00:00
|
|
|
# - ./ci/sub/lib/release.sh
|
2022-11-14 01:12:24 +00:00
|
|
|
# - ./ci/release/_install.sh
|
|
|
|
|
#
|
|
|
|
|
# The last of which implements the installation logic.
|
|
|
|
|
#
|
|
|
|
|
# Generated by ./ci/release/gen_install.sh.
|
|
|
|
|
# *************
|
2022-11-14 05:58:55 +00:00
|
|
|
|
2022-11-14 01:12:24 +00:00
|
|
|
EOF
|
|
|
|
|
|
|
|
|
|
# sed removes the sourcing dependency lines as we're bundled everything into a single
|
|
|
|
|
# script.
|
|
|
|
|
sh_c cat \
|
|
|
|
|
./ci/sub/lib/rand.sh \
|
|
|
|
|
./ci/sub/lib/log.sh \
|
|
|
|
|
./ci/sub/lib/flag.sh \
|
2022-11-14 10:13:37 +00:00
|
|
|
./ci/sub/lib/release.sh \
|
2022-11-14 05:58:55 +00:00
|
|
|
\| sed "-e'/^\. /d'" \>\> ./install.sh
|
|
|
|
|
sh_c cat ./ci/release/_install.sh \
|
|
|
|
|
\| sed -n "'/cd -- \"\$(dirname/,/cd -/!p'" \>\> install.sh
|
