commit d754f34e7eb5f700b6de13c6c4692837d0a123f4 parent 0a03e6dadf7c30cea1fb388a9e5386a00c853dbb Author: Eyal Sawady <ecs@d2evs.net> Date: Wed, 23 Sep 2020 20:12:41 -0400 config.sh: add args for install directories Diffstat:
M | config.sh | | | 10 | +++++++++- |
1 file changed, 9 insertions(+), 1 deletion(-)
diff --git a/config.sh b/config.sh @@ -9,8 +9,16 @@ SCDOC=${SCDOC:-scdoc} for arg do - # TODO: Add args for install directories case "$arg" in + --bindir=*) + BINDIR=${arg#*=} + ;; + --libdir=*) + LIBDIR=${arg#*=} + ;; + --mandir=*) + MANDIR=${arg#*=} + ;; --prefix=*) PREFIX=${arg#*=} ;;