diff --git a/basice2e/run.sh b/basice2e/run.sh index 7a2b68b2d0b19ebe21209d341f3bb6bd5b6df57f..7c251553044dbed59ddf7bb769333b674308e75d 100755 --- a/basice2e/run.sh +++ b/basice2e/run.sh @@ -732,6 +732,7 @@ if [ -s results/deleteContact.txt ] then echo "CONTACT DELETION SUCCESSFUL" else + echo "CONTACT DELETION FAILED" [ -s results/deleteContact.txt ] fi