diff --git a/src/tools/cray.jam b/src/tools/cray.jam index c5af87e91..9472b78df 100644 --- a/src/tools/cray.jam +++ b/src/tools/cray.jam @@ -782,11 +782,11 @@ rule set-debug-symbols-procedure ( targets * : sources * : properties * ) local debug-option = ; if $(optimization) = speed { - debug-option = f ; + debug-option = 3 ; } else { - debug-option = n ; + debug-option = 0 ; } local space = " " ;