equal
deleted
inserted
replaced
20 # debuild only appears to be able to save built debs etc to .., so we |
20 # debuild only appears to be able to save built debs etc to .., so we |
21 # have to share the .. of the current directory with the docker |
21 # have to share the .. of the current directory with the docker |
22 # container and hope it's writable. Whee. |
22 # container and hope it's writable. Whee. |
23 dn=$(basename $ROOTDIR) |
23 dn=$(basename $ROOTDIR) |
24 |
24 |
|
25 DBUILDUSER=build |
|
26 |
25 if [ $(uname) = "Darwin" ] ; then |
27 if [ $(uname) = "Darwin" ] ; then |
26 $DOCKER run -u $DBUILDUSER --rm -v $PWD/..:/mnt $CONTAINER \ |
28 $DOCKER run -u $DBUILDUSER --rm -v $PWD/..:/mnt $CONTAINER \ |
27 sh -c "cd /mnt/$dn && make clean && make local" |
29 sh -c "cd /mnt/$dn && make clean && make local" |
28 fi |
30 fi |
29 $DOCKER run -u $DBUILDUSER --rm -v $ROOTDIR/..:/mnt $CONTAINER \ |
31 $DOCKER run -u $DBUILDUSER --rm -v $ROOTDIR/..:/mnt $CONTAINER \ |