chore: remove dev licenses

closes #1141
This commit is contained in:
Benoit Chevallier-Mames
2021-12-10 14:17:13 +01:00
committed by Benoit Chevallier
parent 20fe843a49
commit 48f0509785
2 changed files with 4 additions and 156 deletions

View File

@@ -8,7 +8,10 @@ CHECK=0
DIFF_TOOL="diff --ignore-all-space --ignore-tab-expansion --ignore-space-change --ignore-all-space --ignore-blank-lines --strip-trailing-cr"
TMP_VENV_PATH="/tmp/tmp_venv"
DO_USER_LICENSES=1
DO_DEV_LICENSES=1
# Dev licences are not done, but could be re-enabled
DO_DEV_LICENSES=0
OUTPUT_DIRECTORY="${LICENSE_DIRECTORY}"
while [ -n "$1" ]