Show
Ignore:
Timestamp:
12.10.2010 10:16:04 (10 years ago)
Author:
sjm84
Message:

Upgraded this extension to use the exthome variable correctly and a few other minor fixes

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • gs2-extensions/gnome-lib/trunk/src/devel.bash

    r23082 r23096  
    22 
    33if [ -d cascade-make ] ; then 
    4   source cascade-make/lib/cascade-lib.bash 
     4  source cascade-make/lib/cascade-lib.bash GEXTGNOME . $* 
    55fi 
    66 
     
    2727        pushd $GEXTGNOME_INSTALLED/lib/pkgconfig 
    2828 
    29 #   pcfilelist=`ls *.pc` 
    30 #   firstfile=`$pcfilelist | head -1` 
    31 #   pkgconfigprefix=`awk '/^prefix=/{ sub(/^prefix=/, "") ; print }' $firstfile` 
    32  
    33 #   if [ "$pkgconfigprefix" = "$GEXTGNOME_INSTALLED" ] ; then 
    34 #       echo "OK" 
    35 #   else 
    36 #       echo "NO - Correcting configuration..." 
    37  
    38 #       for file in $pcfilelist ; do 
    39 #           awk '{ sub(/^prefix=\/.*$/, "prefix=$GEXTGNOME_INSTALLED") ; print }' $file > $file 
    40 #       done  
    41 #        
    42 #       echo "COMPLETE" 
    43 #   fi 
    44  
    45  
    4629        if [ ! -e .fixed-prefix.awk ] ; then 
    4730