From 95ef9d189a3b8b1a97ab7764aa31a717a59b0d3a Mon Sep 17 00:00:00 2001 From: Pierre Habouzit Date: Sat, 10 Nov 2007 00:03:27 +0100 Subject: [PATCH] build tools on configure Signed-off-by: Pierre Habouzit --- configure | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/configure b/configure index 41f62eb..a7398f3 100755 --- a/configure +++ b/configure @@ -20,9 +20,12 @@ builddir=.build-$(hostname)-$(gcc -dumpmachine)-$(gcc -dumpversion) rm -rf $builddir mkdir -p $builddir rm -f build && ln -s $builddir build +rm -f madmutt && ln -s $builddir/madmutt madmutt if test $# -eq 0; then - cd $builddir && cmake -DWITH_NNTP=1 -DWITH_IDN=1 -DUSE_HCACHE=1 -DCMAKE_INSTALL_PREFIX=/usr .. + (cd $builddir && cmake -DWITH_NNTP=1 -DWITH_IDN=1 -DUSE_HCACHE=1 -DCMAKE_INSTALL_PREFIX=/usr ..) else - cd $builddir && cmake "$@" .. + (cd $builddir && cmake "$@" ..) fi + +make -C tools -- 2.20.1