diff options
| author | jahoti <jahoti@tilde.team> | 2021-10-14 00:00:00 +0000 |
|---|---|---|
| committer | jahoti <jahoti@tilde.team> | 2021-10-14 00:00:00 +0000 |
| commit | fa5a0e799f5f8aa3115bbd4288af326dd77ccd0c (patch) | |
| tree | d3f3acbc1d8bda3eb3b76cfb366d0cdc7caa9f2d /configure | |
| parent | ef5ae6490afa35f79dd830e3c84fa8ab5e623a2e (diff) | |
| download | browser-extension-fa5a0e799f5f8aa3115bbd4288af326dd77ccd0c.tar.gz browser-extension-fa5a0e799f5f8aa3115bbd4288af326dd77ccd0c.zip | |
Add (basic) install support
The extension can be installed if DESTDIR is supplied
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -23,6 +23,7 @@ while [ "x$1" != x ]; do case "$1" in --srcdir=*) SRCDIR="$(echo "$1" | cut -c 10-)";; --srcdir) SRCDIR="$2"; shift;; + "DESTDIR"=*) DESTDIR="$(echo "$1" | cut -c 9-)";; "UPDATE_URL"=*) UPDATE_URL="$(echo "$1" | cut -c 12-)";; --host=*) TARGET="$(echo "$1" | cut -c 8-)";; --host) TARGET="$2"; shift;; @@ -61,6 +62,7 @@ esac # Write record.conf (LEAVE SRCDIR FIRST) echo srcdir = "$SRCDIR" > record.conf echo default_target = "$TARGET" >> record.conf +echo DESTDIR = "$DESTDIR" >> record.conf echo UPDATE_URL = "$UPDATE_URL" >> record.conf |