2017-02-13 19:01:54 +00:00
|
|
|
#!/usr/bin/env bash
|
2016-02-19 22:42:51 +00:00
|
|
|
set -e
|
|
|
|
|
2017-06-20 20:55:40 +00:00
|
|
|
[ -z "$KEEPDEST" ] && rm -rf "$DEST"
|
2016-05-24 01:44:43 +00:00
|
|
|
|
2016-04-25 17:40:07 +00:00
|
|
|
(
|
|
|
|
source "${MAKEDIR}/.binary"
|
2016-06-27 21:38:47 +00:00
|
|
|
copy_binaries "$DEST" 'hash'
|
2016-05-24 01:44:43 +00:00
|
|
|
)
|