From e7765b93bb85868ced405f60968bcb012fdaaa01 Mon Sep 17 00:00:00 2001
From: hasufell <hasufell@hasufell.de>
Date: Mon, 11 May 2015 16:36:57 +0200
Subject: [PATCH] saving uncommitted changes in /etc prior to emerge run

---
 paludis/bashrc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/paludis/bashrc b/paludis/bashrc
index f9be1de..61c0d63 100644
--- a/paludis/bashrc
+++ b/paludis/bashrc
@@ -206,6 +206,7 @@ if [[
 	"${CATEGORY}/${PN}" != "app-admin/haskell-updater" &&
 	"${CATEGORY}/${PN}" != "dev-lang/spidermonkey" &&
 	"${CATEGORY}/${PN}" != "games-strategy/liquidwar6" &&
+	"${CATEGORY}/${PN}" != "sci-mathematics/z3" &&
 	"${CATEGORY}" != "dev-haskell"
 	]]
 then