#!/usr/bin/env bash

gnu_date() {
  if hash gdate 2> /dev/null
  then
    gdate "$@"
  else
    date "$@"
  fi
}

gnu_date +"before-launcher %s.%N"
bin/jruby "$@"
gnu_date +"after-launcher %s.%N"
