diff options
Diffstat (limited to 'src/usr/pingmgmt.c')
| -rw-r--r-- | src/usr/pingmgmt.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/usr/pingmgmt.c b/src/usr/pingmgmt.c index bb33c5d47..fee6b438b 100644 --- a/src/usr/pingmgmt.c +++ b/src/usr/pingmgmt.c @@ -22,6 +22,7 @@ */ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL ); +FILE_SECBOOT ( PERMITTED ); #include <stdint.h> #include <stdio.h> |