diff options
Diffstat (limited to 'pgaas/src/makefile')
| -rw-r--r-- | pgaas/src/makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pgaas/src/makefile b/pgaas/src/makefile index 73fe4eb..eb144b5 100644 --- a/pgaas/src/makefile +++ b/pgaas/src/makefile @@ -31,6 +31,10 @@ stage: clean-stage 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 |