1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
#!/bin/bash
. `dirname $0`/../../scripts/CONFIG.sh
print_header "Common"
parse_opts "$@"
if [ "$clean" = 1 ]; then
# ??? What should we do here ?
echo ""
exit 0
fi
run_and_exit "gprbuild -q -gnat05 -ws -P../common test_htables.adb test_arrays.adb test_trie.adb test_strings.adb $EXTRA_GPRBUILD_OPT"
$valgrind ../core/obj/$OBJ_SUBDIR/test_htables
$valgrind ../core/obj/$OBJ_SUBDIR/test_arrays
$valgrind ../core/obj/$OBJ_SUBDIR/test_trie
$valgrind ../core/obj/$OBJ_SUBDIR/test_strings
echo_with_status 1 ""
|
