Re: [nhc-bugs] "hmake +RTS" loops

27 May 2003

Thomas Hallgren  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 ;;

    

Re: [nhc-bugs] "hmake +RTS" loops

Malcolm Wallace