diff options
| -rw-r--r-- | devel/linux_devtools-7/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devel/linux_devtools-7/Makefile b/devel/linux_devtools-7/Makefile index 3db268adfbc0..f1a747dfc4ab 100644 --- a/devel/linux_devtools-7/Makefile +++ b/devel/linux_devtools-7/Makefile @@ -34,6 +34,7 @@ NO_BUILD= yes NO_FILTER_SHLIBS= yes NO_MTREE= yes PLIST= ${WRKDIR}/plist +RESTRICTED= "binaries under GNU GPL without accompanying source" MD5_FILE= ${MASTERDIR}/distinfo.${MACHINE_ARCH} # Let's avoid hardcoding 'en' as the language. |