Changeset 935


Ignore:
Timestamp:
Nov 16, 2006, 1:17:10 AM (13 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.