diff options
author | David Herrmann <dh.herrmann@gmail.com> | 2014-11-24 15:39:00 +0100 |
---|---|---|
committer | David Herrmann <dh.herrmann@gmail.com> | 2014-11-24 15:39:00 +0100 |
commit | 9a20fcbcd1b010ad88bfbb8b7f0417bec7327fb4 (patch) | |
tree | 9d1e7e6f3ebe36cbb1479cf149d58c64c2379d57 /autogen.sh | |
parent | d4f5a1f47dbd04f26f2ddf951c97c4cb0ebbbe62 (diff) |
build-sys: support local ./configure arguments
I often want to use the awesome "./autogen.sh [cmd]" arguments, but have
to append some custom ./configure options. For now, I always had to edit
autogen.sh manually, or copy the full commands out of it and run it
myself.
As I think this is super annoying, this commit adds support for
".config.args" files in $topdir. If it exists, any content is just
appended to $args, thus to any ./configure invokation of autogen.sh.
Maybe autotools provide something similar out-of-the-box. In that case,
feel free to revert this and lemme know!
Diffstat (limited to 'autogen.sh')
-rwxr-xr-x | autogen.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/autogen.sh b/autogen.sh index 0fc6e57027..7b62449be8 100755 --- a/autogen.sh +++ b/autogen.sh @@ -50,6 +50,10 @@ args="\ --libdir=$(libdir /usr/lib) \ $gtkdocargs" +if [ -f "$topdir/.config.args" ]; then + args="$args $(cat $topdir/.config.args)" +fi + if [ ! -L /bin ]; then args="$args \ --with-rootprefix= \ |