Changeset 3883


Ignore:
Timestamp:
Oct 28, 2018 9:25:54 AM (11 months ago)
Author:
stefan
Message:

do no longer disable dependency tracking

  • not clear to me why it is disabled
  • it's like this since the script was added to stable/0.8 and there is no ticket describing the problem
File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/get.dependencies.sh

    r3867 r3883  
    66#
    77# TODO
    8 # - fix dependency-tracking or remove it from configure
    98# - consider using pushd/popd instead of cd somewhere/cd ..
    109# - look at TODO and FIXME below
     
    477476                fi
    478477                if [ $verbosity -ge 3 ]; then
    479                     "$root_dir/$dir/configure" --disable-dependency-tracking --prefix=$1 "${!configure_options[@]}"
     478                    "$root_dir/$dir/configure" --prefix=$1 "${!configure_options[@]}"
    480479                else
    481                     "$root_dir/$dir/configure" --disable-dependency-tracking --prefix=$1 "${!configure_options[@]}" > /dev/null
     480                    "$root_dir/$dir/configure" --prefix=$1 "${!configure_options[@]}" > /dev/null
    482481                fi
    483482            fi
     
    520519            # Now, do the actual configuration
    521520            if [ $verbosity -ge 2 ]; then
    522                 "$root_config" --disable-dependency-tracking --prefix=$1 "${!configure_options[@]}"
    523             else
    524                 "$root_config" --disable-dependency-tracking --prefix=$1 "${!configure_options[@]}" > /dev/null
     521                "$root_config" --prefix=$1 "${!configure_options[@]}"
     522            else
     523                "$root_config" --prefix=$1 "${!configure_options[@]}" > /dev/null
    525524            fi
    526525        fi
     
    560559        if [ ! -e config.status ] || [ $reconfigure = "true" ]; then
    561560            if [ $verbosity != 1 ]; then
    562                 "$root_dir/configure" --disable-dependency-tracking --prefix=$1 "${!configure_options[@]}"
    563             else
    564                 "$root_dir/configure" --disable-dependency-tracking --prefix=$1 "${!configure_options[@]}" > /dev/null
     561                "$root_dir/configure" --prefix=$1 "${!configure_options[@]}"
     562            else
     563                "$root_dir/configure" --prefix=$1 "${!configure_options[@]}" > /dev/null
    565564            fi
    566565        fi
Note: See TracChangeset for help on using the changeset viewer.