luciole-rif

#!/bin/sh
set -x #echo on


if [ "$#" -eq 0 ]; then
    echo "usage: $0 [any sys call that reads/writes in RIF]
examples:
   $0 lutin -rif env.lut -n main
   $0 lus2lic -rif controller.lus -n main 
    "
    exit 01
fi

case $1 in
    *lutin|*lus2lic)
        eval  "rdbg-batch -lurette -l 1000 --sut-stdio \"$@ -rif\""
        ;;
    *)
        eval  "rdbg-batch -lurette -l 1000 --sut-stdio \"$@\""
        ;;
esac
rm rdbg_luciole.c
rm rdbg_luciole.dro

echo "@0: bye"
# pbs: 
#  - killing luciole does not kill the process
#