version 1.31, 2012/05/23 15:15:38
|
version 1.32, 2012/05/29 13:34:17
|
Line 514 fi
|
Line 514 fi
|
if test ! -d "$srcdir"/tools/$SIGSEGV; then |
if test ! -d "$srcdir"/tools/$SIGSEGV; then |
gunzip -c "$srcdir"/tools/$SIGSEGV.tar.gz | \ |
gunzip -c "$srcdir"/tools/$SIGSEGV.tar.gz | \ |
(cd "$srcdir/tools" && tar -xf -) |
(cd "$srcdir/tools" && tar -xf -) |
|
(cd "$srcdir/tools/$SIGSEGV" && ./autogen.sh --skip-gnulib) |
fi |
fi |
if test ! -d "$srcdir"/tools/$OPENMOTIF; then |
if test ! -d "$srcdir"/tools/$OPENMOTIF; then |
gunzip -c "$srcdir"/tools/$OPENMOTIF.tar.gz | \ |
gunzip -c "$srcdir"/tools/$OPENMOTIF.tar.gz | \ |