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