#!/bin/bash
exec `dirname -- ${BASH_SOURCE[0]}`/s_all -F "$@"
