From 9f04551d2b73f7094bed6957258c8003ebd5f3eb Mon Sep 17 00:00:00 2001
From: Anh <zenpoems@gmail.com>
Date: Sun, 16 Sep 2018 21:29:36 +0000
Subject: [PATCH] Make rida the default for zafl

---
 bin/zafl.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/bin/zafl.sh b/bin/zafl.sh
index a5d157d..35e5844 100755
--- a/bin/zafl.sh
+++ b/bin/zafl.sh
@@ -33,8 +33,8 @@ output_zafl_binary=$2
 shift
 shift
 
-#ida_or_rida_opt=" -s meds_static=off -s rida=on "
-ida_or_rida_opt=" "
+#ida_or_rida_opt=" "
+ida_or_rida_opt=" -s meds_static=off -s rida=on "
 stars_opt=" -o zafl:--stars "
 
 other_args=""
-- 
GitLab