[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: Regarding running shell script from Makefile
From: |
Dave Korn |
Subject: |
RE: Regarding running shell script from Makefile |
Date: |
Mon, 14 May 2007 18:21:49 +0100 |
On 14 May 2007 13:54, Paul Smith wrote:
> On Mon, 2007-05-14 at 13:20 +0100, Dave Korn wrote:
>> On 14 May 2007 12:30, Paul Smith wrote:
>>
>>> On Mon, 14 May 2007 11:52:59 +0100, Dave Korn wrote:
>>>> export PATH:=/myhome/tools/bin:$PATH
>>>
>>> This is not correct. You need to use the make variable $(PATH), not the
>>> shell variable $PATH, since you're in a makefile:
>>>
>>> export PATH := /myhome/tools/bin:$(PATH)
>
>> Well, it does work
>
> No it doesn't.
>
>> export PATH:=${PATH}:/tmp
>
> Yes, that will work fine. But that's not the example you gave in your
> email.
>
>> Am I missing something?
>
> Check the example you gave, quoted above :)
Ach! Can't see what I wrote for knowing what I thought I wrote! Heh, I
should have cut and pasted it from my test instead of typing it over again
<smackwrist> there, that'll teach me not to do it again...
cheers,
DaveK
--
Can't think of a witty .sigline today....
- Re: Regarding running shell script from Makefile, (continued)
- Re: Regarding running shell script from Makefile, Paul Smith, 2007/05/11
- Re: Regarding running shell script from Makefile, gshejin, 2007/05/14
- RE: Regarding running shell script from Makefile, Dave Korn, 2007/05/14
- Re: Regarding running shell script from Makefile, Paul Smith, 2007/05/14
- RE: Regarding running shell script from Makefile, Dave Korn, 2007/05/14
- RE: Regarding running shell script from Makefile, Paul Smith, 2007/05/14
- Re: Regarding running shell script from Makefile, Dave Hylands, 2007/05/14
- Re: Regarding running shell script from Makefile, Eli Zaretskii, 2007/05/14
- Re: Regarding running shell script from Makefile, Dave Hylands, 2007/05/15
- RE: Regarding running shell script from Makefile,
Dave Korn <=