]> Zhao Yanbai Git Server - minix.git/commit
use another scratch partition for /tmp (sorry) (needed because of small
authorBen Gras <ben@minix3.org>
Tue, 30 Aug 2005 17:26:56 +0000 (17:26 +0000)
committerBen Gras <ben@minix3.org>
Tue, 30 Aug 2005 17:26:56 +0000 (17:26 +0000)
commitf90449a78b5c965e38768ecac1df12e8752d89bc
tree7f9f0ac82bf59c884370b49a68931aa6867e4ed5
parent602ae06a3c0190564640ecbf3e0e218407107513
use another scratch partition for /tmp (sorry) (needed because of small
CD root and large compilations)
tools/release.sh