[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] gnu: Add lua.

From: Cyril Roelandt
Subject: Re: [PATCH] gnu: Add lua.
Date: Wed, 20 Mar 2013 00:20:39 +0100
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:10.0.12) Gecko/20130116 Icedove/10.0.12

On 03/19/2013 11:01 AM, Ludovic Courtès wrote:
Cyril Roelandt<address@hidden>  skribis:

+                 (lambda _ (zero? (system "make linux"))) ; XXX: Other OS.

Ah ah, fun.


In general prefer ‘system*’, which does no shell interpretation and
clearly separates arguments.

I replaced "system" with "system*" and pushed.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]