Ticket #620: 0001-makedist.scm-release-create-directories-with-parents.patch

File 0001-makedist.scm-release-create-directories-with-parents.patch, 813 bytes (added by Mario Domenech Goulart, 13 years ago)

  • scripts/makedist.scm 

    From 9bb1bd1fb7a8eb99535d0c9f77e539a52a9fcc43 Mon Sep 17 00:00:00 2001
From: Mario Domenech Goulart <mario.goulart@gmail.com>
Date: Fri, 24 Jun 2011 11:46:36 -0300
Subject: [PATCH] makedist.scm (release): create directories with parents (tests/reverser contains subdirs, for example)

---
 scripts/makedist.scm |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/scripts/makedist.scm b/scripts/makedist.scm
index 634feab..11158a6 100644
    a b  
    4242       (let ((d (path distname d)))
    4343         (unless (file-exists? d)
    4444           (print "creating " d)
    45            (create-directory d))))
     45           (create-directory d 'with-parents))))
    4646     (delete-duplicates (filter-map prefix files) string=?))
    4747    (let ((missing '()))
    4848      (for-each