equal
deleted
inserted
replaced
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 "$@" |