wok diff cocoalib/receipt @ rev 21906

updated shared-mime-info and shared-mime-info-dev (1.6 -> 1.14)
author: Hans-G?nter Theisgen
date: Fri Oct 04 14:42:51 2019 +0100 (2019-10-04)
parents: 8467c43ca437
children: 0e6c15b6b327
     1.1 --- a/cocoalib/receipt	Tue Aug 13 10:39:24 2013 +0000
     1.2 +++ b/cocoalib/receipt	Fri Oct 04 14:42:51 2019 +0100
     1.3 @@ -18,7 +18,8 @@
     1.4  # Rules to configure and make the package.
     1.5  compile_rules()
     1.6  {
     1.7 -	touch -d 197001010000  src/CoCoA*/Makefile_dependencies
     1.8 +	find | grep Makefile | sed 's/Makefile.*/Makefile_dependencies/' | \
     1.9 +		xargs touch -d 197001010000
    1.10  	./configure $CONFIGURE_ARGS && make library
    1.11  	# INSTALL TARGET for CoCoALib NOT YET IMPLEMENTED
    1.12  }