Michael Shigorin 5a1065c33e bin/mktmpdir: check for filesystem mount options ...

As was found out by Vladimir Karpinsky (thanks for patience!),
the autochosen directory might still have too restrictive mount
options -- nodev and/or noexec.  Hopefully the diags are a bit
better and faster by now.

2012-01-10 16:00:56 +02:00

..

mktmpdir

bin/mktmpdir: check for filesystem mount options

2012-01-10 16:00:56 +02:00

pkgdups.sh

pkgdups.sh and semi-random tagged pkglists shuffle

2011-12-02 20:02:55 +02:00

tags2lists

features.in/Makefile: fixups

2011-11-04 16:54:41 +02:00