From b1a40dcc343c0b483cf00baf7df84df3acb8fa40 Mon Sep 17 00:00:00 2001 From: Samy Al Bahra Date: Sun, 19 May 2013 22:35:12 -0400 Subject: [PATCH] build: Only copy generated files if out-of-source. --- configure | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/configure b/configure index f4df79d..e439ace 100755 --- a/configure +++ b/configure @@ -579,11 +579,10 @@ mkdir -p $P_PWD/src if test "$P_PWD" '!=' "$BUILD_DIR"; then mkdir -p $P_PWD/regressions cp $BUILD_DIR/regressions/Makefile.unsupported $P_PWD/regressions/Makefile &> /dev/null + cp $BUILD_DIR/build/ck.build.$PROFILE $P_PWD/build/ck.build.$PROFILE &> /dev/null + cp $BUILD_DIR/include/ck_md.h $P_PWD/include/ck_md.h &> /dev/null fi -cp $BUILD_DIR/build/ck.build.$PROFILE $P_PWD/build/ck.build.$PROFILE &> /dev/null -cp $BUILD_DIR/include/ck_md.h $P_PWD/include/ck_md.h &> /dev/null - generate src/Makefile.in $P_PWD/src/Makefile generate doc/Makefile.in $P_PWD/doc/Makefile generate build/ck.build.in $P_PWD/build/ck.build