 ex_to_string ()
 {
   case $[1] in
-       0) echo ' (EX_OK: successful termination)';;
-      64) echo ' (EX_USAGE: command line usage error)';;
-      65) echo ' (EX_DATAERR: data format error)';;
-      66) echo ' (EX_NOINPUT: cannot open input)';;
-      67) echo ' (EX_NOUSER: addressee unknown)';;
-      68) echo ' (EX_NOHOST: host name unknown)';;
-      69) echo ' (EX_UNAVAILABLE: service unavailable)';;
-      70) echo ' (EX_SOFTWARE: internal software error)';;
-      71) echo ' (EX_OSERR: system error (e.g., cannot fork))';;
-      72) echo ' (EX_OSFILE: critical OS file missing)';;
-      73) echo ' (EX_CANTCREAT: cannot create (user) output file)';;
-      74) echo ' (EX_IOERR: input/output error)';;
-      75) echo ' (EX_TEMPFAIL: temp failure; user is invited to retry)';;
-      76) echo ' (EX_PROTOCOL: remote error in protocol)';;
-      77) echo ' (EX_NOPERM: permission denied)';;
-      78) echo ' (EX_CONFIG: configuration error)';;
-     176) echo ' (EX_SKIP: skip this test with unmet dependencies)';;
-     177) echo ' (EX_HARD: hard error that cannot be saved)';;
-     242) echo ' (killed by Valgrind)';;
-      *)  if test 127 -lt $[1]; then
-	    echo " (SIG$(kill -l $[1] || true))"
-	  fi;;
+     (  0) echo ' (EX_OK: successful termination)';;
+     ( 64) echo ' (EX_USAGE: command line usage error)';;
+     ( 65) echo ' (EX_DATAERR: data format error)';;
+     ( 66) echo ' (EX_NOINPUT: cannot open input)';;
+     ( 67) echo ' (EX_NOUSER: addressee unknown)';;
+     ( 68) echo ' (EX_NOHOST: host name unknown)';;
+     ( 69) echo ' (EX_UNAVAILABLE: service unavailable)';;
+     ( 70) echo ' (EX_SOFTWARE: internal software error)';;
+     ( 71) echo ' (EX_OSERR: system error (e.g., cannot fork))';;
+     ( 72) echo ' (EX_OSFILE: critical OS file missing)';;
+     ( 73) echo ' (EX_CANTCREAT: cannot create (user) output file)';;
+     ( 74) echo ' (EX_IOERR: input/output error)';;
+     ( 75) echo ' (EX_TEMPFAIL: temp failure; user is invited to retry)';;
+     ( 76) echo ' (EX_PROTOCOL: remote error in protocol)';;
+     ( 77) echo ' (EX_NOPERM: permission denied)';;
+     ( 78) echo ' (EX_CONFIG: configuration error)';;
+     (176) echo ' (EX_SKIP: skip this test with unmet dependencies)';;
+     (177) echo ' (EX_HARD: hard error that cannot be saved)';;
+     (242) echo ' (killed by Valgrind)';;
+     (  *) if test 127 -lt $[1]; then
+            echo " (SIG$(kill -l $[1] || true))"
+          fi;;
   esac
 }
 

{
  while test $[#] -ne 0; do
    case $[1] in
	--*=*)
	    opt=$(echo "$[1]" | sed -e 's/=.*//')
	    val=$(echo "$[1]" | sed -e ['s/[^=]*=//'])
	    shift
	    set dummy "$opt" "$val" ${1+"$[@]"};
	    shift
	    ;;
    esac

    case $[1] in

URBI_PREPARE()
set -e
case $VERBOSE in
  (x) set -x;;
esac

: ${abs_builddir='@abs_builddir@'}
