If you didn't work it hard, a few ounces of oil probably was enough. As suggested before, drive it and don't worry about it unless it starts making noises.