#!/bin/bash
-# $1: args type could be 'ft' (function test) or 'st' (system test). By default: ft
+# $1: args type could be 'ft' (function test) or 'st' (system test), or 'help' to get the command line help. By default: ft
function pgrep_live {
pids=$(pgrep "$1");
[ "$pids" ] || return;
mkdir -p counters test-reports
rm -f counters/* test-reports/* *.csv
export LD_LIBRARY_PATH=$PWD/dynlibs
-eval ./ADML `grep -v ^# $ARGS` &
+args=$(eval echo $(grep -v ^# $ARGS))
+./ADML ${args} &
echo $! > .pid
echo "Done !"