From c73dabc0d79af0a89abcf30ffc68ef9e15fa8628 Mon Sep 17 00:00:00 2001 From: Jack Palevich Date: Thu, 28 May 2009 14:53:02 -0700 Subject: [PATCH] Use bash instead of sh because of the '[[' command The '[[' command is not guaranteed to be present in /bin/sh, and in fact is missing in stock Ubuntu 8.04 --- tools/ddms/app/etc/ddms | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/ddms/app/etc/ddms b/tools/ddms/app/etc/ddms index 4171213dc..c63930b2d 100755 --- a/tools/ddms/app/etc/ddms +++ b/tools/ddms/app/etc/ddms @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # Copyright 2005-2007, The Android Open Source Project # # Licensed under the Apache License, Version 2.0 (the "License");