comparison configure @ 1930:818603c7744d

Merge
author thartmann
date Thu, 28 Jan 2016 09:49:17 +0100
parents 6e29cd9ac2b4
children
comparison
equal deleted inserted replaced
1:af42869f4e15 2:20bf1cbd59af
29 this_script_dir=`dirname $0` 29 this_script_dir=`dirname $0`
30 this_script_dir=`cd $this_script_dir > /dev/null && pwd` 30 this_script_dir=`cd $this_script_dir > /dev/null && pwd`
31 31
32 # Delegate to wrapper, forcing wrapper to believe $0 is this script by using -c. 32 # Delegate to wrapper, forcing wrapper to believe $0 is this script by using -c.
33 # This trick is needed to get autoconf to co-operate properly. 33 # This trick is needed to get autoconf to co-operate properly.
34 bash -c ". $this_script_dir/common/autoconf/configure" $this_script_dir/configure CHECKME $this_script_dir "$@" 34 # The ${-:+-$-} construction passes on bash options.
35 bash ${-:+-$-} -c ". $this_script_dir/common/autoconf/configure" $this_script_dir/configure CHECKME $this_script_dir "$@"