From 26c0ef99efc59d7472e4ad8a1ffeb82df92d0d32 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 19 Dec 2011 12:35:22 -0700 Subject: [PATCH] fix executable distribution creation on Unix --- collects/compiler/distribute.rkt | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/collects/compiler/distribute.rkt b/collects/compiler/distribute.rkt index f7ef699ec0..62c66bf028 100644 --- a/collects/compiler/distribute.rkt +++ b/collects/compiler/distribute.rkt @@ -310,7 +310,8 @@ (error 'patch-stub-exe-paths "cannot find config info")) (read-byte i) - (read-one-int i) ; start of prog + (read-one-int i) ; start of decls + (read-one-int i) ; start of program (let ([start (read-one-int i)] ; start of data [end (read-one-int i)]) ; end of data (file-position i start) @@ -333,7 +334,7 @@ #:exists 'update (lambda () (let ([o (current-output-port)]) - (file-position o (+ config-pos 8)) ; update the end of the program data + (file-position o (+ config-pos 12)) ; update the end of the program data (write-one-int (- end delta) o) (flush-output o) (file-position o start)