18 lines
		
	
	
	
		
			761 B
		
	
	
	
		
			Diff
		
	
	
	
	
	
			
		
		
	
	
			18 lines
		
	
	
	
		
			761 B
		
	
	
	
		
			Diff
		
	
	
	
	
	
| Patch shebangs in source that gets unpacked by `configure'.
 | |
| 
 | |
| --- bigloo4.1a/gc/install-gc-7.4.0	2014-02-04 14:55:03.000000000 +0100
 | |
| +++ bigloo4.1a/gc/install-gc-7.4.0	2014-02-04 14:55:36.000000000 +0100
 | |
| @@ -29,10 +29,12 @@ fi
 | |
|  
 | |
|  # untar the two versions of the GC
 | |
|  $tar xfz $src -C ../gc || (echo "$tar xfz $src failed"; exit 1)
 | |
| -/bin/rm -rf "../gc/$gc"_fth
 | |
| +rm -rf "../gc/$gc"_fth
 | |
| +find ../gc/$gc -perm /111 -type f | xargs sed -i -e"s|/bin/sh|`type -P sh`|g"
 | |
|  mv ../gc/$gc "../gc/$gc"_fth || (echo "mv $gc failed"; exit 1)
 | |
|  
 | |
|  $tar xfz $src  -C ../gc || (echo "$tar xfz $src failed"; exit 1)
 | |
| +find ../gc/$gc -perm /111 -type f | xargs sed -i -e"s|/bin/sh|`type -P sh`|g"
 | |
|  
 | |
|  # general Bigloo patch
 | |
|  (cd "../gc/$gc"_fth && $patch -p1 < ../$gc.patch > /dev/null)
 |