filter_cmdline0 revision e739ac0589b4fb43561f801c4faba8c1b89f8680 
1#! /bin/sh
2
3sed "s/^valgrind-.*/valgrind-XXX/g"
4