Revision 1fdeb284
| ID | 1fdeb284f5c9fde710169d20f45ae707a7e48081 |
| Parent | 6d846d0e |
| Child | 878c42ae |
Rename configure option for restricted commands
It is no longer “--enable-remote-commands”, but rather
“--enable-restricted-commands”.
Signed-off-by: Michael Hanselmann <hansmi@google.com>
Reviewed-by: Iustin Pop <iustin@google.com>
Files
- added
- modified
- copied
- renamed
- deleted