diff options
| author | Daniel Baumann <mail@daniel-baumann.ch> | 2025-06-06 10:05:27 +0000 |
|---|---|---|
| committer | Daniel Baumann <mail@daniel-baumann.ch> | 2025-06-06 10:05:27 +0000 |
| commit | 43904a02caeb311a505bbb5ffa431ea9859db5f4 (patch) | |
| tree | cd841d75f639d9092243b0d02a3bb93cbdea5804 /debian/extract-config-opts | |
| parent | Adding upstream version 1:7.2+dfsg. (diff) | |
| download | qemu-debian.tar.xz qemu-debian.zip | |
Adding debian version 1:7.2+dfsg-7+deb12u13.debian/1%7.2+dfsg-7+deb12u13debian
Signed-off-by: Daniel Baumann <mail@daniel-baumann.ch>
Diffstat (limited to '')
| -rwxr-xr-x | debian/extract-config-opts | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/debian/extract-config-opts b/debian/extract-config-opts new file mode 100755 index 00000000..3ca2d15a --- /dev/null +++ b/debian/extract-config-opts @@ -0,0 +1,11 @@ +#! /bin/sh + +# This is a trivial script to parse comments in debian/control +# into a set of system-specific configure options. +# Usage: ./debian/extract-config-opts $OS-$ARCH debian/control + +sed -n 's/^# \?--/--/p' $2 | \ +while IFS=' ' read f p x; do + [ -n "$p" ] || p="*" + eval "case \$1 in ($p) echo \$f;; esac" +done |