From 225683f1030ce48157242ab882d05fd1b71c22c2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20B=C3=B6ker?= <patzim@users.noreply.github.com>
Date: Fri, 30 Aug 2019 18:22:47 +0200
Subject: [PATCH] Remove now unused `--libdir` Configure.pl option

---
 Configure.pl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Configure.pl b/Configure.pl
index 762d27b95e..7d5971cddb 100755
--- a/Configure.pl
+++ b/Configure.pl
@@ -55,7 +55,7 @@ BEGIN
 
     GetOptions(
         $cfg->options,      'help!',
-        'prefix=s',         'libdir=s',
+        'prefix=s',         'nqp-home=s',
         'sdkroot=s',        'sysroot=s',
         'backends=s',       'no-clean',
         'with-moar=s',      'gen-moar:s',
@@ -68,7 +68,7 @@ BEGIN
         'github-user=s',    'nqp-repo=s',
         'moar-repo=s',      'expand=s',
         'out=s',            'set-var=s@',
-        'relocatable',      'nqp-home=s',
+        'relocatable',
       )
       or do {
         print_help();