#!/usr/bin/csh # Tar and compress an external distribution of wxProp set init= if ( $1 == "" ) then goto usage endif if ( $2 == "" ) then goto usage endif echo About to tar wxCLIPS distribution... echo From $1 echo To $2/wxprop.tar.gz echo CTRL-C if this is not correct. set dummy=$< /bin/rm -f $2/wxprop.tar.gz cd $1/utils /usr/bin/ls `cat $1/distrib/wxprop.rsp` > /tmp/tarwx tar cvf $2/wxprop.tar -I /tmp/tarwx /bin/rm -f /tmp/tarwx echo Compressing... gzip $2/wxprop.tar echo echo wxProp archived. goto end usage: echo Make external wxProp distribution in gzipped format. echo Makes wxprop.tar.gz. echo Usage: tarprop source destination echo e.g. tarprop ~/wx ~/wx/utils/wxprop/deliver end: