summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorAlbert Cervin <albert@acervin.com>2024-10-10 15:48:38 +0200
committerAlbert Cervin <albert@acervin.com>2024-10-10 15:48:38 +0200
commit8259a3c5d4caf31423d8ca3108c4f2a1f9bd78af (patch)
tree8c0e10d98458809432c5d3826e2914a5482d347c /configure
parent10caa92f491504d670b890f9cc99d08240efce41 (diff)
downloaddged-8259a3c5d4caf31423d8ca3108c4f2a1f9bd78af.tar.gz
dged-8259a3c5d4caf31423d8ca3108c4f2a1f9bd78af.tar.xz
dged-8259a3c5d4caf31423d8ca3108c4f2a1f9bd78af.zip
Support separate debug info for nix builds
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure41
1 files changed, 41 insertions, 0 deletions
diff --git a/configure b/configure
index ecc1949..b9b33cd 100755
--- a/configure
+++ b/configure
@@ -56,6 +56,47 @@ while [ "$#" -gt 0 ]; do
exit
;;
+ # TODO: support the *dir flags
+ --bindir=*)
+ shift 1
+ ;;
+
+ --sbindir=*)
+ shift 1
+ ;;
+
+ --includedir=*)
+ shift 1
+ ;;
+
+ --oldincludedir=*)
+ shift 1
+ ;;
+
+ --mandir=*)
+ shift 1
+ ;;
+
+ --infodir=*)
+ shift 1
+ ;;
+
+ --docdir=*)
+ shift 1
+ ;;
+
+ --libdir=*)
+ shift 1
+ ;;
+
+ --libexecdir=*)
+ shift 1
+ ;;
+
+ --localedir=*)
+ shift 1
+ ;;
+
-*)
echo "Unknown flag \"$1\". Usage:"
echo "$_usage"