#!/usr/bin/env sh cp -u -v ../../../eigene/ivaldi/build/ivaldi tools/ivaldi