diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2022-10-24 21:03:43 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2022-10-24 21:03:43 +0200 |
| commit | aab49e5a013c53ae812a143fe41add74e0677a61 (patch) | |
| tree | f0c6e1ba7db9991f2bd38c9169f9921bfe5e61d8 /dvconfigure | |
| parent | df5167db909a88fb8e16dd20b37442495a6ac059 (diff) | |
| parent | 532d4a24e2013262dfa41fd85c06a9715c99abf7 (diff) | |
Update upstream source from tag 'upstream/4.7'
Update to upstream version '4.7'
with Debian dir d3e11463c915e5c39507206197eb3acd42bb8f5f
Diffstat (limited to 'dvconfigure')
| -rwxr-xr-x | dvconfigure | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/dvconfigure b/dvconfigure deleted file mode 100755 index 58dfbb6..0000000 --- a/dvconfigure +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/bash - -topdir="${0%/*}"; -abstopdir=$(readlink -f "$topdir"); -if [ ! -e "${topdir}/configure" ]; then - pushd "$topdir"; - ./autogen.sh; - popd; -fi; -exec "$topdir/configure" CFLAGS="-O0 -ggdb3" CXXFLAGS="-O0 -ggdb3" "$@"; |