diff options
Diffstat (limited to 'release.nix')
-rw-r--r-- | release.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/release.nix b/release.nix index f5b0f3563..0de1b7bb2 100644 --- a/release.nix +++ b/release.nix @@ -37,6 +37,9 @@ let stripHash ${bzip2.src} cp -pv ${bzip2.src} externals/$strippedName + stripHash ${sqlite.src} + cp -pv ${sqlite.src} externals/$strippedName + # TeX needs a writable font cache. export VARTEXFONTS=$TMPDIR/texfonts ''; |