Equivalent of "catkin_make -DCMAKE_BUILD_TYPE=Release" with catkin build?
For a release configuration with optimizations and no debugging symbols, I can use the Release build type:
catkin_make -DCMAKE_BUILD_TYPE=Release
Is there an equivalent command line with catkin build?