Also, removed the --valgrind option and replaced it with a more general --wrap-exe option, which can be used both for running Valgrind and SDE.
13 KiB
Executable File
13 KiB
Executable File