From 387dd2117b950d1c4ce54717b7a82f02b69d3aae Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 28 Jan 2014 07:13:19 -0700 Subject: [PATCH] distro-build: always include version number in directory for source --- pkgs/distro-build/installer.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/distro-build/installer.rkt b/pkgs/distro-build/installer.rkt index 82bb622116..1b87b6a438 100644 --- a/pkgs/distro-build/installer.rkt +++ b/pkgs/distro-build/installer.rkt @@ -40,7 +40,7 @@ (values human-name (format "~a v~a" human-name (version)) (format "~a-~a" base-name (version)) - (if release? + (if (and release? (not source?)) dir-name (format "~a-~a" dir-name (version))) (if (string=? dist-suffix "")