diff options
| author | Albert Cervin <albert@acervin.com> | 2024-10-10 15:48:38 +0200 |
|---|---|---|
| committer | Albert Cervin <albert@acervin.com> | 2024-10-10 15:48:38 +0200 |
| commit | 8259a3c5d4caf31423d8ca3108c4f2a1f9bd78af (patch) | |
| tree | 8c0e10d98458809432c5d3826e2914a5482d347c /configure | |
| parent | 10caa92f491504d670b890f9cc99d08240efce41 (diff) | |
| download | dged-8259a3c5d4caf31423d8ca3108c4f2a1f9bd78af.tar.gz dged-8259a3c5d4caf31423d8ca3108c4f2a1f9bd78af.tar.xz dged-8259a3c5d4caf31423d8ca3108c4f2a1f9bd78af.zip | |
Support separate debug info for nix builds
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 41 |
1 files changed, 41 insertions, 0 deletions
@@ -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" |
