let's enable SOME debug info but still use full optimizations (like release build)

diff --git a/all b/all
index e600282356bf81fa956014ef8b5aa70eb90bba37..42d17a6b82612ec308dc0df6602a2a7b1cb37896 100755 (executable)
--- a/all
+++ b/all
@@ -590,7 +590,7 @@ case "$cmd" in
                                        ;;
                                -r)
                                        debug=release
-                                       export CC="$CC -mtune=native -march=native"
+                                       export CC="$CC -g -mtune=native -march=native"
                                        shift
                                        ;;
                                *)
@@ -678,7 +678,7 @@ case "$cmd" in
                        verbose make $MAKEFLAGS clean
                fi
                for T in $TARGETS; do
-                       verbose make $MAKEFLAGS "$@" "$T"
+                       verbose make $MAKEFLAGS STRIP=: "$@" "$T"
                done
                for T in $BAD_TARGETS; do
                        echo "Warning: discarded invalid client $T."