1 files changed, 6 insertions, 0 deletions
diff --git a/release.nix b/release.nix
index edc9bfc..d2f6029 100644
--- a/release.nix
+++ b/release.nix
@@ -105,6 +105,12 @@ let
       src = tarball;
       diskImage = diskImageFun vmTools.diskImages;
       meta = { schedulingPriority = toString prio; };
+
+      # Work around a bug in (apparently) checkinstall, which causes
+      # `make install' to fail on Ubuntu 8.10.
+      preInstall = ''
+        mkdir -p /usr/share/doc/patchelf
+      '';
     };