File: profile.sh

package info (click to toggle)
faumachine 20180503-4
  • links: PTS
  • area: main
  • in suites: buster
  • size: 61,272 kB
  • sloc: ansic: 272,290; makefile: 6,199; asm: 4,251; sh: 3,022; perl: 886; xml: 563; pascal: 311; lex: 214; vhdl: 204
file content (20 lines) | stat: -rw-r--r-- 529 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
 
#!/bin/sh
#
# Copyright (C) 2008-2017 FAUmachine Team <info@faumachine.org>.
# This program is free software. You can redistribute it and/or modify it
# under the terms of the GNU General Public License, either version 2 of
# the License, or (at your option) any later version. See COPYING.
#

if [ $# != 2 ] ; then
	echo "Usage: $0 <faum-node-pc-image> <logfile>"
	exit 1
fi

objdump -d $1 > /tmp/sim.$$
grep '^PROFILE' $2 | sed -e 's/^PROFILE //' > /tmp/prof.$$

./prof /tmp/sim.$$ /tmp/prof.$$

rm /tmp/prof.$$
rm /tmp/sim.$$