diff options
-rwxr-xr-x | tools/updateme | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/tools/updateme b/tools/updateme index 83e485a..0b84bec 100755 --- a/tools/updateme +++ b/tools/updateme @@ -231,7 +231,10 @@ migrate_cfg() { # we've generated the feature, make sure it can be found add_search_include_dir $meta_dir/cfg/scratch/obj/$dirname - extra_features="$extra_features `abs_path $meta_dir/cfg/scratch/obj/$dirname/$gen_feature_name`" + echo $extra_features | grep -q $gen_feature_name + if [ $? -ne 0 ]; then + extra_features="$extra_features `abs_path $meta_dir/cfg/scratch/obj/$dirname/$gen_feature_name`" + fi fi } @@ -273,7 +276,10 @@ migrate_patch() { # we've generated the feature, make sure it can be found add_search_include_dir $meta_dir/cfg/scratch/obj/$dirname - extra_features="$extra_features `abs_path $meta_dir/cfg/scratch/obj/$dirname/$gen_feature_name`" + echo $extra_features | grep -q $gen_feature_name + if [ $? -ne 0 ]; then + extra_features="$extra_features `abs_path $meta_dir/cfg/scratch/obj/$dirname/$gen_feature_name`" + fi fi } |