@@ -164,7 +164,7 @@ jarHeader =
164164 ++ "if test -n \"$JAVA_HOME\"; then\n"
165165 ++ " java=\"$JAVA_HOME/bin/java\"\n"
166166 ++ "fi\n"
167− ++ "exec \"$java\" $java_args -jar $MYSELF \"$@\""
167+ ++ "exec \"$java\" $java_args -jar $MYSELF \"$@\"\n"
168168 ++ "exit 1\n"
169169
170170-----------------------------------------------------------------------
@@ -381,9 +381,7 @@ mkMainMethod =
381381 "main"
382382 [FormalParam [] (array stringType) False (VarId $ Ident "args")]
383383 $ Block [ BlockStmt . ExpStmt
384− $ call "idris_initArgs" [ (threadType ~> "currentThread") []
385− , jConst "args"
386− ]
384+ $ call "idris_initArgs" [ jConst "args" ]
387385 , BlockStmt . ExpStmt $ call (mangle' (sMN 0 "runMain")) []
388386 ]
389387