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