Subject: Re: [bug#33059] [PATCH 04/10] gnu: Add python-fenics-dijitso.

From: Efraim Flashner <[email-masked]>
Date: Tue, 16 Oct 2018 21:30:57 +0300

On Tue, Oct 16, 2018 at 10:31:18AM +0100, Paul Garlick wrote:

> +             (chdir "test")
> +             (invoke "./runtests.sh")
> +             (chdir "..")
> 
for this part you may want to look into 'with-directory-excursion'

-- 
Efraim Flashner   <[email-masked]>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted