change for debug mode

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index b6c11430a96b2b73b22e142f8a5e037f703d0b34..3c67ce0c3c84eb6d4d2d9331f22df64b3fc069d8 100755 (executable)
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -286,7 +286,7 @@ shift
 elif [[ $1 = '-debug' ]]
 then
 DEBUGFLAG=true
-EXTRAOPTIONS="$EXTRAOPTIONS -g"
+EXTRAOPTIONS="$EXTRAOPTIONS -g -rdynamic"
 elif [[ $1 = '-rawpath' ]]
 then
 RAWPATHFLAG=true