From 72fdddfed3646184ebe0db99eabd180e423bb5fa Mon Sep 17 00:00:00 2001
From: tydeu <tydeu@hatpress.net>
Date: Mon, 30 Oct 2023 19:33:34 -0400
Subject: [PATCH] test: adjustment for `lake update` behavior change

---
 src/lake/tests/depTree/test.sh | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/lake/tests/depTree/test.sh b/src/lake/tests/depTree/test.sh
index 80481c8c66..367ef76142 100755
--- a/src/lake/tests/depTree/test.sh
+++ b/src/lake/tests/depTree/test.sh
@@ -129,14 +129,13 @@ sed_i 's/third commit/fourth commit/' A.lean
 git commit -am 'fourth commit in a'
 popd
 pushd d
-# d: no require c
-sed_i '/require c/d' lakefile.lean
 # d: b@1 -> b@2 => a@1 -> a@3
 $LAKE update b -v
 # test 119: pickup a@3 and not a@4
 grep 'third commit in a' lake-packages/a/A.lean
 # test the removal of `c` from the manifest
 grep "\"c\"" lake-manifest.json
+sed_i '/require c/d' lakefile.lean
 $LAKE update c -v
-! grep "\"c\"" lake-manifest.json
+grep "\"c\"" lake-manifest.json && false || true
 popd