generation of debian packages improved

12 jobs for release/v1.2 in 62 minutes and 40 seconds (queued for 28 seconds)
Status Job ID Name Coverage
  Build
passed #8063
build:9-debug-gcc

00:18:44

passed #8065
build:9-parallel-debug-gcc

00:32:05

passed #8066
build:9-parallel-release-gcc

00:33:41

passed #8064
build:9-release-gcc

00:20:33

 
  Demo
passed #8067
demo:9-debug-gcc

00:03:40

passed #8069
demo:9-parallel-debug-gcc

00:05:04

passed #8070
demo:9-parallel-release-gcc

00:04:29

passed #8068
demo:9-release-gcc

00:03:30

 
  Test
passed #8071
test:9-debug-gcc

00:05:33

passed #8073
test:9-parallel-debug-gcc

00:04:54

passed #8074
test:9-parallel-release-gcc

00:06:47

passed #8072
test:9-release-gcc

00:06:59