#!/bin/bash

OLD_PWD=`pwd`
TMP_DIR="/tmp/$$-$USER"
mkdir $TMP_DIR
cp dmSLHubb dmSLHubb.in $TMP_DIR

cd $TMP_DIR
chmod +x dmSLHubb
./dmSLHubb

cp dmSLHubb.out $OLD_PWD

cd $OLD_PWD
rm -rf $TMP_DIR