[nhc-bugs] "hmake +RTS" loops

[Malcolm Wallace]

Thomas Hallgren <hallgren@cse.ogi.edu> writes:

> Today I accedentally typed
>     hmake +RTS -K5M Big.hs
> instead of
>     hmake -K5M Big.hs
> To my surprise, the mistake caused hmake to loop!

Here's a patch.
Regards,
    Malcolm


diff -u -r1.31 script/hmake.inst
--- script/hmake.inst	6 Mar 2003 10:32:51 -0000	1.31
+++ script/hmake.inst	27 May 2003 08:54:10 -0000
@@ -109,7 +109,7 @@
 
     # Run-time flags to hmake itself
     +RTS) shift
-          while [ "$1" != "-RTS" ]
+          while [ -n "$1" -a "$1" != "-RTS" ]
           do hmrtflags=$hmrtflags" $1"
              shift
           done ;;