Project

General

Profile

« Previous | Next » 

Revision 11169

Added by Aaron Marcuse-Kubitza about 11 years ago

lib/runscripts/in_datasrc_dir.run: added datasrc_make(), which runs make in the datasrc dir

View differences:

lib/runscripts/in_datasrc_dir.run
9 9 
: "${schema="$(log+ 2 cd "$top_dir"; basename "$PWD")"}"; export schema
10 10 
dir2schema
11 11 

  		




  
  12
  
    
datasrc_make() # runs make in datasrc dir


  		




  
  13
  
    
# requires Makefile in datasrc dir with `include ../input.Makefile`


  		




  
  14
  
    
{


  		




  
  15
  
    
	echo_func


  		




  
  16
  
    
	set -- "${@/%/${remake:+-remake}}" # replace empty str at end (/%)


  		




  
  17
  
    
	make --directory="$top_dir" "$@"


  		




  
  18
  
    
}


  		




  
  19
  
    

  		




  12
  20
  
    
fi


  		












Also available in:  Unified diff