Skip to content

Commit

Permalink
[ test ] Remove unnecessary messages from stderr
Browse files Browse the repository at this point in the history
This prevents "rm: cannot remove ...: No such file or directory" errors
by only running rm when the file is actually present. Another potential
solution would be to keep using rm every time, but reroute 2>/dev/null
so that the failure message doesn't get displayed to the user.
  • Loading branch information
MithicSpirit committed Oct 16, 2023
1 parent c04404a commit ee7e3e3
Show file tree
Hide file tree
Showing 3 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion tests/node/node004/run
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
. ../../testutils.sh

rm test.buf
[ -e test.buf ] && rm test.buf

run --cg node Buffer.idr
2 changes: 1 addition & 1 deletion tests/node/node017/run
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
. ../../testutils.sh

rm -rf testdir
[ -e testdir ] && rm -rf testdir

run --cg node dir.idr | filter_test_dir
cat testdir/test.txt
2 changes: 1 addition & 1 deletion tests/node/node018/run
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
. ../../testutils.sh

rm testout.txt
[ -e testout.txt ] && rm testout.txt

run --cg node File.idr

0 comments on commit ee7e3e3

Please sign in to comment.