tools-hardened/desktop run-base.sh: Disables MPROTECT on gnome-shell for gnome variant

This commit is contained in:
Devan Franchini 2015-03-15 15:12:10 -04:00
parent 774c1e2c15
commit 4f564bfd71

View file

@ -50,6 +50,13 @@ update_world() {
cp -f update.sh "${ROOTFS}"/tmp/
chroot "${ROOTFS}"/ /tmp/update.sh
rm -f "${ROOTFS}"/tmp/update.sh
if [ "${WORLD_BASE}" == "gnome" ];
then
gnome_shell_loc=`chroot "${ROOTFS}"/ which gnome-shell`
chroot "${ROOTFS}"/ paxctl-ng -vm "${gnome_shell_loc}"
unset gnome_shell_loc
fi
}
build_kernel() {