Committer: Diego Biurrun <diego@xxxxxxxxxx> Date: 30/03/2010 at 01:09:31 Revision: 4085 Revision-id: diego@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx Branch nick: trunk Log: autobuild: Run 'make distcheck' separately and only once. configure parameters are not used by distcheck, it makes no sense to repeat it. Modified: M tools/hipl_autobuild.sh === modified file 'tools/hipl_autobuild.sh' --- tools/hipl_autobuild.sh 2010-03-29 22:08:08 +0000 +++ tools/hipl_autobuild.sh 2010-03-29 22:09:09 +0000 @@ -63,7 +63,6 @@ run_program "./configure" $CONFIGURATION && run_program "make -j17" && run_program "make -j17 checkheaders" && - run_program "make -j17 distcheck" && run_program "make install" } @@ -76,6 +75,7 @@ # Compile HIPL in different configurations # vanilla configuration compile +run_program "make -j17 distcheck" # PISA configuration compile --enable-firewall --disable-agent --disable-pfkey --disable-rvs --disable-hipproxy --disable-altsep --enable-privsep --disable-i3 --disable-opportunistic --disable-dht --disable-blind --disable-profiling --enable-debug --enable-midauth --disable-performance --disable-demo