1 files changed, 2 insertions, 0 deletions
diff --git a/configure b/configure
index 4e5c038..fb56ec8 100755
--- a/configure
+++ b/configure
@@ -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