diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-04-14 14:58:15 (GMT) |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-04-14 14:58:15 (GMT) |
commit | 15ff59ba85149bdc1da56bae0900513530e84aca (patch) | |
tree | 4edee956518f593db0a495c04018e281e1cdb81a | |
parent | 09fb154860e2b459549b203ded6a9b2506582ee3 (diff) | |
download | patchelf-15ff59ba85149bdc1da56bae0900513530e84aca.zip patchelf-15ff59ba85149bdc1da56bae0900513530e84aca.tar.gz patchelf-15ff59ba85149bdc1da56bae0900513530e84aca.tar.bz2 |
* The workaround is no longer needed.
-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 - ''; }; |