Skip to content

Commit

Permalink
Give proper usage message
Browse files Browse the repository at this point in the history
  • Loading branch information
mdjurfeldt committed Dec 4, 2019
1 parent de271aa commit 814617e
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions extras/music_mpirun
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
#! /bin/sh

if [ $# -ne 2 ]; then
echo "Usage: music_openmpi <number of tasks> <configuration file (*.music)>"
echo "Usage: musicrun <number of tasks> <configuration file (*.music)>"
exit 1
fi

Expand All @@ -17,4 +17,4 @@ if [ $exitcode -ne 0 ]; then
fi

echo "$binary"
exit $exitcode
exit $exitcode

0 comments on commit 814617e

Please sign in to comment.