diff options
| author | midipix <writeonce@midipix.org> | 2016-05-06 17:15:27 -0400 |
|---|---|---|
| committer | midipix <writeonce@midipix.org> | 2016-11-10 23:35:47 -0500 |
| commit | 2094390bf9d1257e526aadbe50380a5447a5be72 (patch) | |
| tree | ba2979c95603f2151ec52e6df0c2b1e38b406534 /src/driver | |
| parent | c4941cc41a460d34b15a2fccf7ed1bf8907ca837 (diff) | |
| download | perk-2094390bf9d1257e526aadbe50380a5447a5be72.tar.bz2 perk-2094390bf9d1257e526aadbe50380a5447a5be72.tar.xz | |
code maintenance: mark unused parameter.
Diffstat (limited to 'src/driver')
| -rw-r--r-- | src/driver/pe_driver_ctx.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/driver/pe_driver_ctx.c b/src/driver/pe_driver_ctx.c index 59e5c35..29fd7c8 100644 --- a/src/driver/pe_driver_ctx.c +++ b/src/driver/pe_driver_ctx.c @@ -121,6 +121,8 @@ int pe_get_driver_ctx( const char * pretty; int fdout; + (void)envp; + options = pe_default_options; if (!(meta = argv_get(argv,options,pe_argv_flags(flags)))) |