2019-11-02 16:34:54 +00:00
|
|
|
#!/bin/sh
|
2019-05-15 18:30:00 +00:00
|
|
|
set -e
|
2018-11-09 00:25:31 +00:00
|
|
|
|
2019-12-23 23:53:22 +00:00
|
|
|
script_path=$(cd -P -- "$(dirname -- "$0")" && pwd -P)
|
|
|
|
cd "$script_path"
|
|
|
|
|
2019-07-03 14:57:37 +00:00
|
|
|
# Get user and group details for setting qemu disk image ownership
|
2019-12-24 00:26:40 +00:00
|
|
|
build_user=$(id -u)
|
|
|
|
build_group=$(id -g)
|
|
|
|
export build_user
|
|
|
|
export build_group
|
2019-07-03 14:57:37 +00:00
|
|
|
|
2018-11-09 00:25:31 +00:00
|
|
|
sudo id
|
|
|
|
|
2020-01-02 02:06:14 +00:00
|
|
|
MAKE=make
|
|
|
|
|
|
|
|
if [ "$(uname -s)" = "OpenBSD" ]; then
|
|
|
|
MAKE=gmake
|
|
|
|
fi
|
|
|
|
|
|
|
|
$MAKE -C ../ clean && \
|
|
|
|
$MAKE -C ../ && \
|
|
|
|
$MAKE -C ../ test && \
|
|
|
|
$MAKE -C ../ install &&
|
2019-12-20 20:54:55 +00:00
|
|
|
sudo -E PATH="$PATH" ./build-image-qemu.sh
|