From 7ed25b2313b67df23b7adb3fbfcce34431ff01a0 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Fri, 16 Jun 2023 20:24:23 +0200 Subject: [PATCH] etc/diskspace: also bump shell script to lts-19 --- etc/diskspace/clean-old-stack-libs.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/etc/diskspace/clean-old-stack-libs.sh b/etc/diskspace/clean-old-stack-libs.sh index ac768017..7e8e9035 100755 --- a/etc/diskspace/clean-old-stack-libs.sh +++ b/etc/diskspace/clean-old-stack-libs.sh @@ -10,4 +10,4 @@ fi cd ~/stackage/automated/work/$1/unpack-dir/.stack-work/install/x86_64-linux/*/*/lib/x86_64-linux-ghc-* pwd -stack --resolver lts-18.6 script ~/stackage/etc/diskspace/remove-old-stack-work-libs.hs +stack --resolver lts-19.33 script ~/stackage/etc/diskspace/remove-old-stack-work-libs.hs