diff options
Diffstat (limited to 'cdf')
-rw-r--r-- | cdf/src/makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/cdf/src/makefile b/cdf/src/makefile index 2c67454..e0b33a6 100644 --- a/cdf/src/makefile +++ b/cdf/src/makefile @@ -37,6 +37,10 @@ stage: build clean-stage clean-common cp -p repackage.* $(INS) +debian-verify: stage + repackage -b debian $(REPACKAGEDEBIANOPTS) -d $(INS) + @echo debian verify built + debian: stage repackage -b debian $(REPACKAGEDEBIANOPTS) -d $(INS) -u repackage -b debian $(REPACKAGEDEBIANOPTS) -d $(INS) -u -B LATEST |