diff --git a/ghc/utils/parallel/gr2gran.bash b/ghc/utils/parallel/gr2gran.bash index 0db4dab6043c0c0903fe790bd3bf49c07c0bc48d..d281d2c5bca88e33290c6a88436f5f8c113596d6 100644 --- a/ghc/utils/parallel/gr2gran.bash +++ b/ghc/utils/parallel/gr2gran.bash @@ -110,4 +110,4 @@ if [ ! -f "$grfile" ] if [ ${keep_rts} -ne 1 ] then rm -f $rtsfile fi -fi \ No newline at end of file +fi