[mini] Support loading multiple profilers with the --profile option.

[mono-project.git] / scripts / peverify.in

#!/bin/sh
exec @bindir@/pedump $MONO_OPTIONS --verify metadata,code "$@"