- echo '$$ ./test_server 12345 --gras-log=test.thres=verbose & ./test_client 127.0.0.1 12345 --gras-log=test.thres=verbose' > $@
- ./06-logs_server 12345 --gras-log=test.thres=verbose 2>&1 |sed s/06-logs/test/ >> $@ 2>&1&
- ./06-logs_client 127.0.0.1 12345 --gras-log=test.thres=verbose 2>&1 |sed s/06-logs/test/ >> $@ 2>&1
+ echo '$$ ./test_server 12345 --gras-log=test.thres:verbose & ./test_client 127.0.0.1 12345 --gras-log=test.thres:verbose' > $@
+ ./06-logs_server 12345 --gras-log=test.thres:verbose 2>&1 |sed s/06-logs/test/ >> $@ 2>&1&
+ ./06-logs_client 127.0.0.1 12345 --gras-log=test.thres:verbose 2>&1 |sed s/06-logs/test/ >> $@ 2>&1