diff options
Diffstat (limited to 'postgresql-config/src/makefile')
| -rw-r--r-- | postgresql-config/src/makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/postgresql-config/src/makefile b/postgresql-config/src/makefile index bf6ae6b..be34e90 100644 --- a/postgresql-config/src/makefile +++ b/postgresql-config/src/makefile @@ -29,6 +29,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 |