From cb70f7afc21919f403f205b31a995a687fb255bc Mon Sep 17 00:00:00 2001
From: Erwan Jahier <jahier@imag.fr>
Date: Fri, 22 Jan 2016 14:52:24 +0100
Subject: [PATCH] a sligth enhancement on the luciole-rif script
---
utils/luciole-rif | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/utils/luciole-rif b/utils/luciole-rif
index be006643..5c547116 100755
--- a/utils/luciole-rif
+++ b/utils/luciole-rif
@@ -12,7 +12,7 @@ examples:
fi
case $1 in
- lutin|lus2lic)
+ *lutin|*lus2lic)
eval "rdbg-batch -lurette -l 1000 --sut-stdio \"$@ -rif\""
;;
*)
@@ -25,4 +25,4 @@ rm rdbg_luciole.dro
echo "@0: bye"
# pbs:
# - killing luciole does not kill the process
-#
\ No newline at end of file
+#
--
GitLab