77eb3e2b5b
This is infrastructure that's oriented around Vagrant, we do builds inside the target VM (actually inside a Docker container), but then directly `make install DESTDIR=/host/`. The goal here is to have a convenient workflow for: - dev -> hand testing - dev -> run destructive tests Closes: #303 Approved by: jlebon
13 lines
225 B
Bash
Executable File
13 lines
225 B
Bash
Executable File
#!/bin/bash
|
|
set -xeuo pipefail
|
|
eval $(findmnt /host/usr -o OPTIONS -P)
|
|
(IFS=,;
|
|
for x in ${OPTIONS}; do
|
|
if test ${x} == "ro"; then
|
|
mount -o remount,rw /host/usr
|
|
break
|
|
fi
|
|
done)
|
|
make install DESTDIR=/host/
|
|
|