2017-02-13 19:01:54 +00:00
|
|
|
#!/usr/bin/env bash
|
2014-04-08 04:14:19 +00:00
|
|
|
set -e
|
2016-05-24 01:44:43 +00:00
|
|
|
rm -rf "$DEST"
|
2013-09-10 01:45:40 +00:00
|
|
|
|
2016-04-22 16:37:48 +00:00
|
|
|
# This script exists as backwards compatibility for CI
|
2016-02-19 22:42:51 +00:00
|
|
|
(
|
|
|
|
DEST="${DEST}-daemon"
|
|
|
|
ABS_DEST="${ABS_DEST}-daemon"
|
|
|
|
. hack/make/binary-daemon
|
2021-04-06 23:32:46 +00:00
|
|
|
. hack/make/binary-proxy
|
2015-08-10 19:51:54 +00:00
|
|
|
)
|