diff --git a/build/update-setup-h b/build/update-setup-h index 8186ce974e..2b622eaf8b 100755 --- a/build/update-setup-h +++ b/build/update-setup-h @@ -55,11 +55,6 @@ update_single_setup_h() setup_inc=$1 shift - if [ $setup_inc -ot $1 ]; then - echo "Skipping $1 which is already up to date." - return 0 - fi - echo -n "Updating $1 ..." tmp=$i.$$.tmp