diff --git a/build.sh b/build.sh index c329a81ee460c999425b42c75c4748a4711638a1..8abe40a54d059e521668ff314db10c52deaf4287 100644 --- a/build.sh +++ b/build.sh @@ -28,7 +28,6 @@ MUSIC_RESULT=result mkdir "$MUSIC_RESULT" MUSIC_RESULT=$(readlink -f $MUSIC_RESULT) - $CONFIGURE \ --prefix="$MUSIC_RESULT" \ $CONFIGURE_MPI