-
Notifications
You must be signed in to change notification settings - Fork 13
Expand file tree
/
Copy pathstart
More file actions
executable file
·45 lines (35 loc) · 805 Bytes
/
Copy pathstart
File metadata and controls
executable file
·45 lines (35 loc) · 805 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
#!/bin/sh
MEMCHECK='valgrind -v --tool=memcheck --num-callers=50 --leak-check=yes --leak-resolution=high --show-reachable=yes'
MASSIF='valgrind --tool=massif'
DRD='valgrind --tool=drd'
VALGRIND=
GDB=
# Copy of Makefile.local
THREADS=4
VERBOSE=0
DEBUG=1
PROFILING=0
RELEASE=0
if [ "$DEBUG" = "1" ] || [ "$VALGRIND" != "" ] || [ "$GDB" != "" ]; then
export GLIBCXX_FORCE_NEW=1
fi
BUILDID_ARCH="$(uname -m)"
if [ "$PROFILING" = "1" ]; then
BUILDID_PROFILING='-profiling'
fi
if [ "$DEBUG" = "1" ]; then
BUILDID_DEBUG='-debug'
fi
if [ "$PROFILE" != "" ]; then
BUILDID_PROFILE="-$PROFILE"
fi
export BUILDID="$BUILDID_ARCH$BUILDID_PROFILING$BUILDID_DEBUG$BUILDID_PROFILE"
echo $BUILDID
echo
execute()
{
pushd src
$VALGRIND $GDB build/"$BUILDID"/xefis "$@"
popd
}
make -j4 -C src && execute "$@"