diff --git a/hphp/test/vm/Setprofile.php.filter b/hphp/test/vm/Setprofile.php.filter index 95f5f45f3..eda4c0b97 100755 --- a/hphp/test/vm/Setprofile.php.filter +++ b/hphp/test/vm/Setprofile.php.filter @@ -1,2 +1,2 @@ #!/bin/bash -sed -e 's/.*hphp\//hphp\//g' -e 's/.*systemlib.*//g' -e 's/string(..) "[0-9]\+_[0-9]\+"/string() "XX_X"/' +sed -e 's/.*hphp\//hphp\//g' -e 's/.*systemlib.*//g' -e 's/string([^\)]*) "[0-9]\+_[0-9]\+"/string() "XX_X"/'