* options.h (class General_options): Add --noinhibit-exec option.