From 97987ef0f54371f18d19af31e0272109ca769be5 Mon Sep 17 00:00:00 2001 From: Kris Maglione Date: Sat, 6 Jun 2009 10:14:47 -0400 Subject: [PATCH] Specify sh rather than bash in make_jar.sh shebang line. Fix FIXME. --- common/content/ui.js | 3 ++- common/make_jar.sh | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/common/content/ui.js b/common/content/ui.js index 27cc896a..ea8745c8 100644 --- a/common/content/ui.js +++ b/common/content/ui.js @@ -495,7 +495,8 @@ function CommandLine() //{{{ /////////////////////////////////////////////////////////////////////////////{{{ var statusTimer = new Timer(5, 100, function statusTell() { - // FIXME: completions is null Error + if (completions == null) + return; if (completions.selected == null) statusline.updateProgress(""); else diff --git a/common/make_jar.sh b/common/make_jar.sh index 3d073a0d..439fce16 100644 --- a/common/make_jar.sh +++ b/common/make_jar.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh set -e top=$(pwd)