diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2019-11-14 18:12:19 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-11-16 09:58:54 +0100 |
| commit | 2ac1d00f55d2dd477e6a004c2e03f6947e867d6b (patch) | |
| tree | fd4adebf28c51bae6298d923ef372a03e1f998bf /executor/common_bsd.h | |
| parent | 531b5368e2d232cc2697bc555dc481143ced0ca0 (diff) | |
executor: rename some flags
Rename some flags in preparation for subsequent changes
which will align names across the code base.
Diffstat (limited to 'executor/common_bsd.h')
| -rw-r--r-- | executor/common_bsd.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/executor/common_bsd.h b/executor/common_bsd.h index 85db5adf2..80e3fbf3e 100644 --- a/executor/common_bsd.h +++ b/executor/common_bsd.h @@ -117,7 +117,7 @@ static void execute_command(bool panic, const char* format, ...) static void initialize_tun(int tun_id) { #if SYZ_EXECUTOR - if (!flag_enable_tun) + if (!flag_net_injection) return; #endif // SYZ_EXECUTOR |