Changeset 939 in MondoRescue for trunk/mindi/mindi
- Timestamp:
- Nov 17, 2006, 1:41:11 PM (17 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/mindi/mindi
r932 r939 33 33 MINDI_CONF=YYY 34 34 MINDI_SBIN=${MINDI_PREFIX}/sbin 35 36 if [ "$ARCH" = "x86_64" ] ; then 37 MINDI_LIB=${MINDI_PREFIX}/lib64/mindi 38 else 39 MINDI_LIB=${MINDI_PREFIX}/lib/mindi 40 fi 35 MINDI_LIB=LLL 41 36 42 37 MINDI_CONFIG_DIST="$MINDI_CONF/mindi.conf.dist" … … 525 520 ln -sf $vanilla_lib_name $outdir$optimized_lib_name 526 521 echo "Excluding $optimized_lib_name" >> $LOGFILE 527 grep -Fvx "$optimized_lib_name 522 grep -Fvx "$optimized_lib_name" "$filelist" > $filelist.tmp 528 523 echo "Replacing it with $vanilla_lib_name" >> $LOGFILE 529 524 echo "$vanilla_lib_name" >> $filelist.tmp … … 2787 2782 elif [ "$#" -ge "9" ] && [ "$1" = "--custom" ] ; then 2788 2783 MONDOTMP=$2 2789 BIDON=$3 2784 CACHE_LOC=$3 2785 if [ _"$CACHE_LOC" != _"" ]; then 2786 mkdir -p $CACHE_LOC 2787 fi 2790 2788 kernelpath=$4; [ "$kernelpath" = "(null)" ] && kernelpath="" 2791 2789 ### … … 2846 2844 [ "$CDRECOVERY" = "yes" ] && [ "$TAPEDEV" != "" ] && Die "Sorry, you can't use --cd-recovery and --write-tapes at the same time" 2847 2845 MONDO_ROOT=`echo $CACHEDIR | sed 's/\(.*\)\/.*/\1/'` 2848 [ "$MONDO_ROOT" = "" ] && Die "MONDO_ROOT is undefined" 2846 if [ _"$MONDO_ROOT" != _"" ]; then 2847 mkdir -p $MONDO_ROOT 2848 else 2849 Die "MONDO_ROOT is undefined" 2850 fi 2849 2851 else 2850 2852 echo "Syntax: mindi (--custom ....)" >> /dev/stderr
Note:
See TracChangeset
for help on using the changeset viewer.