Project

General

Profile

« Previous | Next » 

Revision 4377

Added by Aaron Marcuse-Kubitza about 12 years ago

input.Makefile: General targets: `%: %.make`: Time the creating command

View differences:

inputs/input.Makefile
87 87 

  		




  88
  88
  
    
# Must come before `%: %.make` to override it


  		




  89
  89
  
    
%: %.make _always


  		




  90
  
  
    
	(set -x; $(make_script)) 2>>$<.log.sql


  		




  
  90
  
    
	(set -x; "time" $(make_script)) 2>>$<.log.sql


  		




  91
  91
  
    
.PRECIOUS: % # save partial outputs of aborted src make scripts


  		




  92
  92
  
    

  		




  93
  93
  
    
##### SVN


  		












Also available in:  Unified diff