[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.
Cyril.