Changeset 935


Ignore:
Timestamp:
11/16/06 01:17:10 (7 years ago)
Author:
bruno
Message:

Fix a big blocking bug in mindi " misplaced for a grep

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/stable/mindi/mindi

    r934 r935  
    508508        ln -sf $vanilla_lib_name $outdir$optimized_lib_name 
    509509        echo "Excluding $optimized_lib_name" >> $LOGFILE 
    510         grep -Fvx "$optimized_lib_name $filelist" > $filelist.tmp 
     510        grep -Fvx "$optimized_lib_name" "$filelist" > $filelist.tmp 
    511511        echo "Replacing it with $vanilla_lib_name" >> $LOGFILE 
    512512        echo "$vanilla_lib_name" >> $filelist.tmp 
Note: See TracChangeset for help on using the changeset viewer.