diff --git a/utils/luciole-rif b/utils/luciole-rif index be006643cec7a98288dcf14eb5d7f81dd60fe859..5c54711607a3f3e4c49a539afe5bc11966854255 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 +#