DynamoRIO / DynamoRIO/drmemory

Please provide a way to specify default command-line options

Open
#1,480 1 comment 0 reactions 0 assignees View on GitHub
Component-UI Migrated Priority-Medium Type-Feature Usability
Dominant language
C
Stars
2.7k
Forks
290
PR merge metrics
No merged PRs in 30d

Description

_From [e...@gnu.org](https://code.google.com/u/100796221241102246155/) on March 19, 2014 13:54:11_

What steps will reproduce the problem? Please provide a feature that would allow to specify the default set of command-line options to pass to drmemory. Possible solutions might be via an environment variable, or some init file. What is the expected output? What do you see instead? N/A What version of the product are you using? On what operating system? Version 1.6.1-2 on MS-Windows. But the issue is not Windows specific.

_Original issue: http://code.google.com/p/drmemory/issues/detail?id=1480_

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.