changeset 38457 | 11eda1f1b6e7 |
parent 38013 | 917f635b5c6a |
child 38458 | e5916f1236f3 |
--- a/contrib/packaging/dockerdeb Fri Jun 15 00:50:48 2018 +0530 +++ b/contrib/packaging/dockerdeb Sat May 12 15:51:37 2018 -0700 @@ -22,6 +22,8 @@ # container and hope it's writable. Whee. dn=$(basename $ROOTDIR) +DBUILDUSER=build + if [ $(uname) = "Darwin" ] ; then $DOCKER run -u $DBUILDUSER --rm -v $PWD/..:/mnt $CONTAINER \ sh -c "cd /mnt/$dn && make clean && make local"