source: tools/build/time_make @ 4558df2

Last change on this file since 4558df2 was c65a80b, checked in by Thierry Delisle <tdelisle@…>, 7 years ago

Added tools used for cleaning headers and timing builds

  • Property mode set to 100755
File size: 766 bytes
Line 
1#!/bin/sh
2#                              -*- Mode: SH -*-
3#
4# Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
5#
6# The contents of this file are covered under the licence agreement in the
7# file "LICENCE" distributed with Cforall.
8#
9# time_make --
10#
11# Author           : Thierry Delisle
12# Created On       : Tue Jul 11 15:55:44 2017
13# Last Modified By :
14# Last Modified On :
15# Update Count     : 0
16#
17
18set -x
19COMPILER=${CXX}
20SAFE_COMPILER=$(echo "${CXX}" | sed 's/+/\\+/g')
21TMP_FILE=$(mktemp)
22FILE=times.out
23
24make -s clean -C src
25make CXX="/usr/bin/time -f \"%E %C\" -o ${TMP_FILE} -a ${COMPILER}" -C src
26sed -r "s/([0-9]+:[0-9]+\.[0-9]+) ${SAFE_COMPILER} .* ([a-Z0-9/_\-]+\.o).*/\1 \2/" ${TMP_FILE} | \
27sed 's/driver_cfa_cpp-//' | \
28sort -r -o ${FILE}
Note: See TracBrowser for help on using the repository browser.