Ship paxctl with the distribution.

diff --git a/config/rootfiles/common/paxctl b/config/rootfiles/common/paxctl
index 4faecba72d25cf126be73114b9611d9b05d9eb54..c9135a865dbe6b3a66320eddc7225f08d21642c5 100644 (file)
--- a/config/rootfiles/common/paxctl
+++ b/config/rootfiles/common/paxctl
@@ -1,2 +1,2 @@
-#sbin/paxctl
+sbin/paxctl
 #usr/share/man/man1/paxctl.1

diff --git a/config/rootfiles/core/fifteen/filelists/paxctl b/config/rootfiles/core/fifteen/filelists/paxctl
new file mode 120000 (symlink)
index 0000000..dda8d9f
--- /dev/null
+++ b/config/rootfiles/core/fifteen/filelists/paxctl
@@ -0,0 +1 @@
+../../../common/paxctl
\ No newline at end of file