#!/bin/sh

echo "#!/bin/sh" > $1
echo "" >> $1
cat ../hmpi.version >> $1
echo "" >> $1
cat hmpi_version_info_file >> $1
