diff --git a/tests/node/node004/run b/tests/node/node004/run index 218079face..5f415d6a6f 100755 --- a/tests/node/node004/run +++ b/tests/node/node004/run @@ -1,5 +1,5 @@ . ../../testutils.sh -rm test.buf +[ -e test.buf ] && rm test.buf run --cg node Buffer.idr diff --git a/tests/node/node017/run b/tests/node/node017/run index beb8b73c58..ea077cb190 100755 --- a/tests/node/node017/run +++ b/tests/node/node017/run @@ -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 diff --git a/tests/node/node018/run b/tests/node/node018/run index bc1a5021cd..219f27d0b6 100755 --- a/tests/node/node018/run +++ b/tests/node/node018/run @@ -1,5 +1,5 @@ . ../../testutils.sh -rm testout.txt +[ -e testout.txt ] && rm testout.txt run --cg node File.idr