In real dollars (meaning even after accounting for inflation). See this article from Slate. 13% higher than the previous record, which occurred during the height of the Korean War.
Also interesting, the Army, Air Force and Navy each received one third of the budget requests, just as they have every year since WW2, despite the fact that it is highly unlikely that U.S. defense priorities are actually divided that way. Speaks to the power of bureaucratic in-fighting.