Add pub_core_extension.h to coregrind/Makefile.am noinst_HEADERS
[valgrind.git] / autogen.sh
blob611bb146181ffe0a78bcc6a48fdf359362d82b48
1 #!/bin/sh
3 run ()
5 echo "running: $*"
6 eval $*
8 if test $? != 0 ; then
9 echo "error: while running '$*'"
10 exit 1
14 run aclocal
15 run autoheader
16 run automake -a
17 run autoconf
19 # Valgrind-specific Git configuration, if appropriate.
20 if git rev-parse --is-inside-work-tree > /dev/null 2>&1 ; then
21 echo "running: git configuration"
22 git config blame.ignoreRevsFile .git-blame-ignore-revs
23 else
24 echo "skipping: git configuration"