diff options
Diffstat (limited to 'pgaas/src/makefile')
| -rw-r--r-- | pgaas/src/makefile | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/pgaas/src/makefile b/pgaas/src/makefile index e76189a..73fe4eb 100644 --- a/pgaas/src/makefile +++ b/pgaas/src/makefile @@ -31,13 +31,9 @@ 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 + repackage -b debian $(REPACKAGEDEBIANOPTS) -d $(INS) -u -B LATEST @echo debian built upload-javadocs: |