diff options
Diffstat (limited to 'documentation')
| -rw-r--r-- | documentation/dev-manual/common-tasks.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation/dev-manual/common-tasks.rst b/documentation/dev-manual/common-tasks.rst index 5600076b7d..77af03b3ca 100644 --- a/documentation/dev-manual/common-tasks.rst +++ b/documentation/dev-manual/common-tasks.rst | |||
| @@ -10929,7 +10929,7 @@ concerned with GPL code as identified by running the following script: | |||
| 10929 | p=${p%-*} | 10929 | p=${p%-*} |
| 10930 | # Only archive GPL packages (update *GPL* regex for your license check) | 10930 | # Only archive GPL packages (update *GPL* regex for your license check) |
| 10931 | numfiles=`ls tmp/deploy/licenses/$p/*GPL* 2> /dev/null | wc -l` | 10931 | numfiles=`ls tmp/deploy/licenses/$p/*GPL* 2> /dev/null | wc -l` |
| 10932 | if [ $numfiles -gt 1 ]; then | 10932 | if [ $numfiles -ge 1 ]; then |
| 10933 | echo Archiving $p | 10933 | echo Archiving $p |
| 10934 | mkdir -p $src_release_dir/$p/source | 10934 | mkdir -p $src_release_dir/$p/source |
| 10935 | cp $d/* $src_release_dir/$p/source 2> /dev/null | 10935 | cp $d/* $src_release_dir/$p/source 2> /dev/null |