===================================================================
RCS file: /home/cvs/OpenXM/src/asir-port/asir-port.sh,v
retrieving revision 1.15
retrieving revision 1.16
diff -u -p -r1.15 -r1.16
--- OpenXM/src/asir-port/asir-port.sh	2006/06/28 12:13:54	1.15
+++ OpenXM/src/asir-port/asir-port.sh	2007/11/18 01:56:25	1.16
@@ -1,5 +1,5 @@
-#!/bin/sh
-# $OpenXM: OpenXM/src/asir-port/asir-port.sh,v 1.14 2006/06/28 11:41:11 takayama Exp $
+#!/bin/bash
+# $OpenXM: OpenXM/src/asir-port/asir-port.sh,v 1.15 2006/06/28 12:13:54 takayama Exp $
 # Downloading Risa/Asir for FLL-free systems.
 # Risa/Asir is installed under $HOME/.asir-tmp/$asirname
 # Symbolic link to $asirname from $OpenXM_HOME/bin/asir must exist