diff options
-rw-r--r-- | release.nix | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/release.nix b/release.nix index 8d02553..a1d308b 100644 --- a/release.nix +++ b/release.nix @@ -104,12 +104,6 @@ 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 - ''; }; |