From 684318149b2112b0644473cb96f64024aedf8957 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Wed, 25 Nov 2015 11:31:49 +0000
Subject: [PATCH] Remove dead code that I accidently left behind.

---
 scripts/mk_util.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index 5563c29a3..cd1dd9bd1 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -1248,7 +1248,6 @@ class DLLComponent(Component):
                 # Compute the relative path from the python package directory
                 # to libz3. It's important that this symlink be relative
                 # (rather than absolute) so that the install is relocatable.
-                dllInstallPathAbs = os.path.join(PREFIX, dllInstallPath)
                 MakeRuleCmd.create_relative_symbolic_link(out, dllInstallPath, os.path.join(pythonPkgDirWithoutPrefix, dllfile))
             if self.static:
                 libfile = '%s$(LIB_EXT)' % self.dll_name