diff options
Diffstat (limited to 'executor/executor.cc')
| -rw-r--r-- | executor/executor.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/executor/executor.cc b/executor/executor.cc index 2635d5a7c..768081ad6 100644 --- a/executor/executor.cc +++ b/executor/executor.cc @@ -1404,6 +1404,10 @@ void setup_features(char** enable, int n) { // This does any one-time setup for the requested features on the machine. // Note: this can be called multiple times and must be idempotent. +#if SYZ_HAVE_FEATURES + // Note: this is not executed in C reproducers. + setup_machine(); +#endif for (int i = 0; i < n; i++) { bool found = false; #if SYZ_HAVE_FEATURES |