From d343e0a28c56f9ddcb82a201e4df684400718b31 Mon Sep 17 00:00:00 2001
From: Jason Hiser <jdh8d@virginia.edu>
Date: Fri, 18 Jan 2019 06:17:00 -0800
Subject: [PATCH] added kill_deads.rida
Former-commit-id: 3120428f08dafa1f0aa408d03ef3b4ccdf126030
---
tests/test_cmds.sh | 3 +++
1 file changed, 3 insertions(+)
diff --git a/tests/test_cmds.sh b/tests/test_cmds.sh
index 33ad965bc..c442e9f4a 100755
--- a/tests/test_cmds.sh
+++ b/tests/test_cmds.sh
@@ -150,6 +150,9 @@ do_tests()
kill_deads)
$PSZ $progpath $protected -c kill_deads=on --tempdir $temp_dir > test_${prog}.ps.log 2>&1
;;
+ kill_deads.rida)
+ $PSZ $progpath $protected -c rida -c kill_deads=on --tempdir $temp_dir > test_${prog}.ps.log 2>&1
+ ;;
scdi)
SimpleCDI_VERBOSE=1 $PSZ $progpath $protected --backend zipr --step simple_cdi=on --tempdir $temp_dir > test_${prog}.ps.log 2>&1
;;
--
GitLab