travis: fix erroneous make target on rebuild
travis: fix erroneous make target on rebuild

Don't need to give make a target since we're in the directory still in the pushd context
tock/libtock-c,tock/libtock-c,tock/libtock-c