From c4a1f165c299464746f1836176d02b5febaf56b3 Mon Sep 17 00:00:00 2001 From: panne Date: Sun, 25 Jun 2000 17:20:20 +0000 Subject: [PATCH] [project @ 2000-06-25 17:20:20 by panne] Use "$@" instead of $* in shell script, the latter one doesn't handle spaces in arguments correctly. Heaven knows who invented this wierd rules. --- ghc/driver/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ghc/driver/Makefile b/ghc/driver/Makefile index da93bab..a5b2420 100644 --- a/ghc/driver/Makefile +++ b/ghc/driver/Makefile @@ -1,5 +1,5 @@ #----------------------------------------------------------------------------- -# $Id: Makefile,v 1.35 2000/06/14 13:14:42 simonmar Exp $ +# $Id: Makefile,v 1.36 2000/06/25 17:20:20 panne Exp $ # TOP=.. @@ -77,7 +77,7 @@ all :: ghc-inplace ghc-inplace : ghc @$(RM) $@ echo '#!/bin/sh' >>$@ - echo exec $(FPTOOLS_TOP_ABS)/ghc/driver/ghc -B$(FPTOOLS_TOP_ABS) $$\* >>$@ + echo exec $(FPTOOLS_TOP_ABS)/ghc/driver/ghc -B$(FPTOOLS_TOP_ABS) '"$$@"' >>$@ chmod 755 $@ CLEAN_FILES += ghc-inplace -- 1.7.10.4