Fix do not use /tmp which is brittle in GitHub env

mbarbin · mbarbin · commit f004ff8f72bd · 2025-09-28T17:56:36.000+02:00
diff --git a/test/cram/below-flag-with-subdirectory.t b/test/cram/below-flag-with-subdirectory.t
@@ -136,10 +136,12 @@ Using --below with a relative path from the root.
 
 Test that --below flag fails when path is not in workspace.
 
-  $ cd /tmp
-  $ dunolint lint --root ${ROOT} --below subdir2 --dry-run
-  Error: Path "/tmp/subdir2" is not in dune workspace.
-  [123]
+  $ TMPDIR=$(mktemp -d)
+  $ cd ${TMPDIR}
+  $ dunolint lint --root ${ROOT} --below subdir2 --dry-run 2>&1 | sed "s|${TMPDIR}|<tmpdir>|g"
+  Error: Path "<tmpdir>/subdir2" is not in dune
+  workspace.
+  $ rm -rf ${TMPDIR}
 
 Test that paths are resolved correctly when using --below from a different cwd.
 
