diff options
Diffstat (limited to 'ports/post')
-rw-r--r-- | ports/post | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/ports/post b/ports/post new file mode 100644 index 0000000..f0638e6 --- /dev/null +++ b/ports/post @@ -0,0 +1,21 @@ +#!/bin/sh +set -eu +ensure_pre_was_loaded + +portdir=$repodir/ports/$pkg/ +workdir=$repodir/ports/out/$pkg/ +downdir=$repodir/ports/out/downloads/ + +mkdir -p $workdir $downdir +cd $workdir + +case ${1:-help} in + fetch) fetch ;; + build) build ;; + clean) clean ;; + install) install ;; + + relink) relink ;; + + *) echo "bad usage, see ports/post"; false ;; +esac |