diff --git a/tools/buildtest.sh b/tools/buildtest.sh index 7bcb404..26a91ac 100755 --- a/tools/buildtest.sh +++ b/tools/buildtest.sh @@ -47,10 +47,7 @@ do_test() { make $OPTS conf || die "$?" "$OPTS" make $OPTS base || die "$?" "$OPTS" make $OPTS -j2 modules || die "$?" "$OPTS" - mv base.pp tmp - ############# FIXME - rm dmesg.pp - $SE_LINK tmp/base.pp *.pp || die "$?" "$OPTS" + make $OPTS validate || die "$?" "$OPTS" cleanup_mod done } diff --git a/tools/quicktest.sh b/tools/quicktest.sh index 9d62f8e..05c768b 100755 --- a/tools/quicktest.sh +++ b/tools/quicktest.sh @@ -46,10 +46,7 @@ do_test() { make $OPTS conf || die "$?" "$OPTS" make $OPTS base || die "$?" "$OPTS" make $OPTS -j2 modules || die "$?" "$OPTS" - mv base.pp tmp - ############# FIXME - rm dmesg.pp - $SE_LINK tmp/base.pp *.pp || die "$?" "$OPTS" + make $OPTS validate || die "$?" "$OPTS" cleanup_mod done }