test: fix tests/reservoirConfig on macOS

leanprover · Sep 2, 2024 · 9799b1a · 9799b1a
1 parent 084ca36
commit 9799b1a
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 15 deletions.
diff --git a/src/lake/tests/reservoirConfig/expected.json b/src/lake/tests/reservoirConfig/expected.json
@@ -0,0 +1,12 @@
+{"versionTags": ["v1", "v2"],
+ "version": "0.0.0",
+ "schemaVersion": "1.0.0",
+ "readmeFile": null,
+ "platformIndependent": null,
+ "name": "test",
+ "licenseFiles": [],
+ "license": "",
+ "keywords": ["test-case"],
+ "homepage": "https://example.com",
+ "doIndex": true,
+ "description": "Tests Reservoir configuration"}
diff --git a/src/lake/tests/reservoirConfig/test.sh b/src/lake/tests/reservoirConfig/test.sh
@@ -17,21 +17,7 @@ git tag v2
 git commit --allow-empty -m "commit 3"
 git tag etc
 
-$LAKE reservoir-config | diff -u --strip-trailing-cr <(cat << 'EOF'
-{"versionTags": ["v1", "v2"],
- "version": "0.0.0",
- "schemaVersion": "1.0.0",
- "readmeFile": null,
- "platformIndependent": null,
- "name": "test",
- "licenseFiles": [],
- "license": "",
- "keywords": ["test-case"],
- "homepage": "https://example.com",
- "doIndex": true,
- "description": "Tests Reservoir configuration"}
-EOF
-) -
+$LAKE reservoir-config | diff -u --strip-trailing-cr expected.json -
 
 # Cleanup git repo
 rm -rf .git