contrib/packaging/dockerdeb
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"