chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3751352) | patch
dgit: massage_dbp_args: Make names for $wantsrc values
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 25 Jul 2018 13:59:27 +0000 (14:59 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 25 Jul 2018 14:00:02 +0000 (15:00 +0100)
commitc967edb8b4e33f1d3f7c2b829ab43fbea4a5e17c
tree036b4919bfff36b7ba180236f1a9e1bc45418a29tree | snapshot
parent3751352480012499dcab49a6421770a7fc5986fecommit | diff
dgit: massage_dbp_args: Make names for $wantsrc values

   0 - source will NOT need to be built separately by caller
  +1 - source will need to be built separately by caller
  +2 - source will need to be built separately by caller AND

So:

   0 => WANTSRC_BUILDER
  +1 => WANTSRC_SOURCE | WANTSRC_BUILDER
  +2 => WANTSRC_SOURCE

No functional change except to debugging output.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
dgit diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.