From 45bdd6f76a6d1d3279189a64c681424bbc18c311 Mon Sep 17 00:00:00 2001
From: Jason Hiser <jdhiser@gmail.com>
Date: Tue, 13 Nov 2018 19:33:26 +0000
Subject: [PATCH] added orig config
Former-commit-id: 5ee93b6f91dd5ff58ec00e79da42700d9698b13a
---
tests/test_cmds.sh | 3 +++
1 file changed, 3 insertions(+)
diff --git a/tests/test_cmds.sh b/tests/test_cmds.sh
index e251c25e6..14ac7c9a2 100755
--- a/tests/test_cmds.sh
+++ b/tests/test_cmds.sh
@@ -152,6 +152,9 @@ do_tests()
ibtl_p1)
$PSZ $progpath $protected --backend strata --step ibtl=on --step ilr=on --step pc_confine=on --step p1transform=on --tempdir $temp_dir > test_${prog}.ps.log 2>&1
;;
+ orig)
+ cp $progpath $protected
+ ;;
*)
echo "Unknown configuration requested"
continue
--
GitLab