Up to [local] / OpenXM / src / asir-port
Request diff between arbitrary revisions
Default branch: MAIN
Current tag: RELEASE_1_2_3_12
Revision 1.14 / (download) - annotate - [select for diffs], Sun Nov 18 01:56:25 2007 UTC (16 years, 9 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_3_12
Changes since 1.13: +2 -2
lines
Diff to previous 1.13 (unified)
We explicitly call /bin/bash instead of /bin/sh. On most Debian systems, /bin/sh is a symbolic link to /bin/bash, but on a few systems, it is a symbolic link to /bin/dash.