Revert "Revert "Add option to generate compressed backtrace info.""

This reverts commit 8546cc9aeb05e866e1fb6a9e4130d53ea330baa8.

Change-Id: I676fdf9af27fa3b16fa8921778ff8832ab8c437d
diff --git a/test/137-cfi/run b/test/137-cfi/run
index 9c567b6..66575fc 100755
--- a/test/137-cfi/run
+++ b/test/137-cfi/run
@@ -14,4 +14,8 @@
 # See the License for the specific language governing permissions and
 # limitations under the License.
 
-exec ${RUN} "$@" -Xcompiler-option --generate-debug-info
+# Test with full DWARF debugging information.
+${RUN} "$@" -Xcompiler-option --generate-debug-info
+
+# Test with minimal compressed debugging information.
+${RUN} "$@" -Xcompiler-option --generate-mini-debug-info